DocumentCode :
1642891
Title :
On Protection by Layout Randomization
Author :
Abadi, Martín ; Plotkin, Gordon
Author_Institution :
Microsoft Res., Silicon Valley & Univ. of California, Santa Cruz, CA, USA
fYear :
2010
Firstpage :
337
Lastpage :
351
Abstract :
Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider layout randomization as part of an implementation for a highlevel programming language; the implementation translates this language to a lower-level language in which memory addresses are numbers. We analyze this implementation, by relating low-level attacks against the implementation to contexts in the high-level programming language, and by establishing full abstraction results.
Keywords :
high level languages; security of data; high-level programming language; layout randomization; low-level attacks; software protection; Context; High level languages; Layout; Probabilistic logic; Protocols; Security;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE
Conference_Location :
Edinburgh
ISSN :
1940-1434
Print_ISBN :
978-1-4244-7510-0
Electronic_ISBN :
1940-1434
Type :
conf
DOI :
10.1109/CSF.2010.30
Filename :
5552667
Link To Document :
بازگشت