Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Simplot-Ryl, Isabelle  [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.