@inproceedings{schp,
author={Patrignani, Marco  and  Garg, Deepak},
title={{Secure Compilation and Hyperproperty Preservation}},
booktitle = {{IEEE} 30th Computer Security Foundations Symposium, {CSF} 2017, Santa Barbara, USA, August 21 - 25, 2017},
pages     = {},
year      = {2017},
series = {CSF'17},
}