@phdthesis{tome-secure-compilation,
 author = {Patrignani, Marco},
 title = {{The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures}},
 month = may,
 year = {2015},
 numpages = {230},
 school = {KU Leuven},
 address = {Leuven, Belgium}
}