Gadyatskaya, Olga
Gadyatskaya, Olga
A Load Time Policy Checker for Open Multi-application Smart Cards
2011-01-01 N., Dragoni; E., Lostal; Gadyatskaya, Olga; Massacci, Fabio; F., Paci
An empirical study of the technology transfer potential of EU security and trust R&D projects
2014-01-01 De Gramatica, Martina; Massacci, Fabio; Gadyatskaya, Olga
Can we support applications' evolution in multi-application smart cards by security-by-contract?
2010-01-01 N., Dragoni; Gadyatskaya, Olga; Massacci, Fabio
Controlling application interactions on the novel smart cards with security-by-contract
2013-01-01 Gadyatskaya, Olga; Massacci, Fabio
Dynamic Resiliency to User Assignment
2010-01-01 Massacci, Fabio; Gadyatskaya, Olga; Paci, Federica
High-level algorithms and data structures requirements for security-by-contract on Java cards
2012-01-01 N., Dragoni; Gadyatskaya, Olga; Massacci, Fabio; Philippov, Anton
Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications
2012-01-01 Gadyatskaya, Olga; Massacci, Fabio; Paci, Federica; S., Stankevich
Load Time Code Validation for Mobile Phone Java Cards
2012-01-01 Nguyen, Quang-Huy; Chetali, Boutheina; Massacci, Fabio; Gadyatskaya, Olga
Load time code validation for mobile phone Java Cards
2013-01-01 Gadyatskaya, Olga; Massacci, Fabio; Q. H., Nguyen; B., Chetali
Load Time Security Verification
2011-01-01 Gadyatskaya, Olga; E., Lostal; Massacci, Fabio
Load Time Security Verification: The Claim Checker
2011-01-01 Gadyatskaya, Olga; Lostal, Eduardo; Massacci, Fabio
MAP-REDUCE Runtime Enforcement of Information Flow Policies
2013-01-01 Ngo, Nguyen Nhat Minh; Massacci, Fabio; Gadyatskaya, Olga
Security in the Firefox OS and Tizen mobile platforms
2014-01-01 Gadyatskaya, Olga; Massacci, Fabio; Zhauniarovich, Yury
Security of the OSGi platform
2012-01-01 Philippov, Anton; Gadyatskaya, Olga; Massacci, Fabio
Security-by-Contract for the OSGi platform
2012-01-01 Gadyatskaya, Olga; Massacci, Fabio; Philippov, Anton
StaDynA: Addressing the problem of dynamic code updates in the security analysis of android applications
2015-01-01 Zhauniarovich, Yury; Ahmad, Maqsood; Gadyatskaya, Olga; Crispo, Bruno; Massacci, Fabio
TruStore: Implementing a Trusted Store for Android
2013-01-01 Zhauniarovich, Yury; Crispo, Bruno; Gadyatskaya, Olga