uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
URN: urn:nbn:se:uu:diva-212401ISBN: 978-3-319-03542-0 (print)OAI: oai:DiVA.org:uu-212401DiVA: diva2:677656
Conference
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)316 downloads
File information
File name FULLTEXT01.pdfFile size 1052 kBChecksum SHA-512
8d6920c40c576e2a0d2774bb1db1a7918f228f47f29b5b9093095c39178824ad983f94ff0e69ea39d2002271b0ffd8d678e9a5d5c27ca6fd677f471b7ded257b
Type fulltextMimetype application/pdf

Authority records BETA

Clarke, Dave

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 316 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 418 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf