Secure Compilation to Protected Module Architectures

Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs 0002, Dave Clarke, Frank Piessens. Secure Compilation to Protected Module Architectures. ACM Transactions on Programming Languages and Systems, 37(2):6, 2015. [doi]

Bibliographies