Secure Compilation to Protected Module Architectures / Patrignani, Marco; Agten, Pieter; Strackx, Raoul; Jacobs, Bart; Clarke, Dave; Piessens, Frank. - In: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. - ISSN 0164-0925. - 37:2(2015), pp. 6:1-6:50. [10.1145/2699503]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione