Security Engineering for Lifelong Evolvable Systems

Publications

Export 1 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Fontaine, Arnaud  [Clear All Filters]
2011
Fontaine, A., S. Hym, and I. Simplot-Ryl, "Verifiable control flow properties for Java bytecode", FAST 2011: Springer Berlin / Heidelberg, to appear, 2011.