Research Outputs Olga Gadyatskaya
-
O. Gadyatskaya, F. Massacci, F. Paci, S. Stankevich, "Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications" in Information Security Technology for Applications, Berlin: Springer Berlin/Heidelberg, 2012, p. 187-192. - ISBN: 9783642279362. Proceedings of: 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espo, October 27-29, 2010. - DOI: 10.1007/978-3-642-27937-9_13 - see details
-
O. Gadyatskaya, F. Massacci, A. Philippov, "Security-by-Contract for the OSGi platform" in Information Security and Privacy Research - 27th IFIP TC 11 Information Security and Privacy Conference, Boston: Springer Boston, 2012, p. 364-375. - ISBN: 9783642304354. Proceedings of: SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. - DOI: 10.1007/978-3-642-30436-1 - see details
-
N. Dragoni, E. Lostal, O. Gadyatskaya, F. Massacci, F. Paci, "A Load Time Policy Checker for Open Multi-application Smart Cards" in POLICY, New York: IEEE, 2011, p. 153-156. - ISBN: 9781424498796. Proceedings of: POLICY, Pisa, 6-8 June. - URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5976786 . - DOI: 10.1109/POLICY.2011.40 - see details
-
O. Gadyatskaya, E. Lostal, F. Massacci, "Load Time Security Verification" in ICISS, Berlin: Springer, 2011, p. 250-264 -(LNCS; 7093). - ISBN: 9783642255595. Proceedings of: ICISS 2011, Kolkata, India, December 15-19, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-25560-1_17 . - DOI: 10.1007/978-3-642-25560-1_17 - see details
-
N. Dragoni, O. Gadyatskaya, F. Massacci, "Can we support applications' evolution in multi-application smart cards by security-by-contract?" in LECTURE NOTES IN COMPUTER SCIENCE, v. 6033, (2010), p. 221-228. - DOI: 10.1007/978-3-642-12368-9_16 - see details
