Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 2 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Olga Gadyatskaya  [Clear All Filters]
2011
Gadyatskaya, O., E. Lostal, and F. Massacci, "Load Time Security Verification", ICISS: Springer- Verlag, 2011.
Submitted
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.