Secure Compilation to Modern Processors

Authors:
Pieter Agten;Raoul Strackx;Bart Jacobs;Frank Piessens
Affiliations:
-;-;-;-
Venue:
CSF '12 Proceedings of the 2012 IEEE 25th Computer Security Foundations Symposium
Year:
2012

Citing 0
Cited 4

Recent developments in low-level software security

WISTP'12 Proceedings of the 6th IFIP WG 11.2 international conference on Information Security Theory and Practice: security, privacy and trust in computing systems and ambient intelligent ecosystems
Fides: selectively hardening software application components against kernel-level or process-level malware

Proceedings of the 2012 ACM conference on Computer and communications security
Fully abstract compilation to JavaScript

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sancus: low-cost trustworthy extensible networked devices with a zero-software trusted computing base

SEC'13 Proceedings of the 22nd USENIX conference on Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.