Secure compilation of Object-Oriented components to protected module architectures
2013 (English)In: Programming Languages and Systems, Springer Berlin/Heidelberg, 2013, 176-191 p.Conference paper (Refereed)
A fully abstract compilation scheme prevents the security features of the high-level language from being bypassed by an attacker operating at a particular lower level. This paper presents a fully abstract compilation scheme from a realistic object-oriented language with dynamic memory allocation, cross-package inheritance, exceptions and inner classes to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a fine-grained, program counter-based memory access control mechanism. This paper contains the outline of a formal proof of full abstraction of the compilation scheme. Measurements of the overhead introduced by the compilation scheme indicate that it is negligible.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. 176-191 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8301
security, secure compilation, object-oriented languages
Research subject Computer Science
IdentifiersURN: urn:nbn:se:uu:diva-212401ISBN: 978-3-319-03542-0OAI: oai:DiVA.org:uu-212401DiVA: diva2:677656
11th Asian Symposium on Programming Languages and Systems, December 9-11, 2013, Melbourne, Australia