TY  - RPRT
TI  - Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
AU  - Deepak Garg
AU  - Catalin Hritcu
AU  - Marco Patrignani
AU  - Marco Stronati
AU  - David Swasey
PY  - 2017
UR  - https://arxiv.org/abs/1710.07309
ID  - 1710.07309
ER  -