Change search
ReferencesLink to record
Permanent link

Direct link
Secure compilation of Object-Oriented components to protected module architectures
KU Leuven, Belgium.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
KU Leuven, Belgium.
2013 (English)In: Programming Languages and Systems, Springer Berlin/Heidelberg, 2013, 176-191 p.Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
security, secure compilation, object-oriented languages
National Category
Computer Science
Research subject
Computer Science
URN: urn:nbn:se:uu:diva-212401ISBN: 978-3-319-03542-0OAI: diva2:677656
11th Asian Symposium on Programming Languages and Systems, December 9-11, 2013, Melbourne, Australia
Available from: 2013-12-10 Created: 2013-12-10 Last updated: 2013-12-12Bibliographically approved

Open Access in DiVA

paper(1052 kB)242 downloads
File information
File name FULLTEXT01.pdfFile size 1052 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Clarke, Dave
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 242 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 197 hits
ReferencesLink to record
Permanent link

Direct link