TY  - RPRT
TI  - On Modular and Fully-Abstract Compilation -- Technical Appendix
AU  - Marco Patrignani
AU  - Dominique Devriese
AU  - Frank Piessens
PY  - 2016
UR  - https://arxiv.org/abs/1604.05044
ID  - 1604.05044
ER  -