Secure compilation to protected module architectures. (2015)

by M PATRIGNANI, P AGTEN, R STRACKX, B JACOBS, D CLARKE, F PIESSENS
Venue:In Transactions on Programming Languages and Systems (TOPLAS)