@inproceedings{mfac,
author={Patrignani, Marco  and  Devriese, Dominique and Piessens, Frank},
title={{On Modular and Fully Abstract Compilation}},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon, Portugal, June 27 - July 1, 2016},
pages     = {17--30},
year      = {2016},
series = {CSF'16},
}