Publications
Filters: Author is Olga Gadyatskaya [Clear All Filters]
"Load Time Security Verification",
ICISS: Springer- Verlag, 2011.
"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.