Implementing a secure abstract machine / Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave. - (2016), pp. 2041-2048. (Intervento presentato al convegno SAC tenutosi a Pisa, Italy, nel April 4-8, 2016) [10.1145/2851613.2851796].
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