@Article{ahmed_et_al:DagRep.8.5.1,
author = {Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
title = {{Secure Compilation (Dagstuhl Seminar 18201)}},
pages = {1--30},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {5},
editor = {Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.1},
URN = {urn:nbn:de:0030-drops-98911},
doi = {10.4230/DagRep.8.5.1},
annote = {Keywords: secure compilation, low-level attacks, source-level reasoning, attacker models, full abstraction, hyperproperties, enforcement mechanisms, compartmentalization, security architectures, side-channels}
}