Title: Fully abstract trace semantics of low-level protection mechanisms
Authors: Patrignani, Marco ×
Clarke, Dave #
Issue Date: Nov-2012
Host Document: Proceedings of the 24th Nordic Workshop on Programming Theory edition:24 pages:43-45
Series Title: NWPT
Conference: NWPT edition:24 location:Bergen, Norway
Abstract: Fine-grained program counter-based memory access control mechanisms can be used to enhance low-level machine models to become the target of secure (fully abstract) compilation schemes.
A secure compilation scheme reduces the power of a low-level attacker with code injection privileges to that of a high-level attacker which generally does not have such privileges.
The existing trace semantics for a fine-grained program counter-based memory access control mechanism is not fully abstract, thus the protection mechanism it models cannot be used as the target of a provably secure compilation scheme.
This paper shows why is such a fully abstract trace semantics needed, and proposes a correction to the existing trace semantics that makes it fully abstract and thus capable of supporting a secure compilation scheme.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
llfa.pdfpaper accepted at the conference Published 188KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.