Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 2 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Olga Gadyatskaya  [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 
L
Gadyatskaya, O., E. Lostal, and F. Massacci, "Load Time Security Verification", ICISS: Springer- Verlag, 2011.
C
Dragoni, N., O. Gadyatskaya, and F. Massacci, "Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?", Security and Privacy of Pervasive Systems and Small Devices, Passau, Germany, Springer, Submitted.