Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 2 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
V
Vogels, F., B. Jacobs, F. Piessens, and J. Smans, "Annotation inference for separation logic based verifiers", Formal Techniques for Distributed Systems (FMOODS/FORTE 2011), vol. 6722: Springer, pp. 319–333, 2011.

Reykjavik, Iceland, 6-9 June 2011

V.H.Nguyen, and F.Massacci, "An Idea of an Independent Validation of Vulnerability Discovery Models", International Symposium on Engineering Secure Software and Systems (ESSoS), Eindhoven, 2012.