@inproceedings{multiscoo-ea,
author={Patrignani, Marco  and  Devriese, Dominique and Piessens, Frank},
title={{Multi-Module Fully Abstract Compilation (Extended Abstract)}},
year={2015},
pages={13--13},
series = {FCS 2015},
booktitle={{Proceedings of the 12th Workshop on Foundations of Computer Security}},
location={Verona, Italy}
}