Security Engineering for Lifelong Evolvable Systems

Publications

Export 42 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Proceedings
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.
Massacci, F., and V. H. Nguyen, "Which is the Right Source of Vulnerability Studies? An Empirical Analysis on Mozilla Firefox", International Workshop on Security Measurement and Metrics (MetriSec)'10, Bolzano-Bozen, Italy, 9/2010.
Journal Article
Miscellaneous
Report