< Terug naar vorige pagina

Publicatie

Secure compilation to modern processors

Boekbijdrage - Boekhoofdstuk Conferentiebijdrage

We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to low-level machine code. Full abstraction is achieved by relying on a fine-grained program counter-based memory access protection scheme, which is part of our low-level target language. We discuss why standard compilers fail to provide full abstraction and introduce enhancements needed to achieve this goal. We prove that our enhanced compilation scheme provides full abstraction from our high-level source language to our low-level target language. Lastly, we show by means of a prototype implementation that our low-level language with fine-grained memory access control can be realized efficiently on modern commodity platforms.
Boek: 2012 IEEE 25th Computer Security Foundations Symposium (CSF 2012)
Pagina's: 171 - 185
ISBN:978-1-4673-1918-8
Jaar van publicatie:2012
BOF-keylabel:ja
IOF-keylabel:ja
Authors from:Higher Education
Toegankelijkheid:Open