BUSI, MATTEO Statistiche

BUSI, MATTEO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
Control-flow Flattening Preserves the Constant-Time Policy. 1-gen-2020 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 1-gen-2020 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Securing Interruptible Enclaves 1-gen-2020 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Robust Declassification by Incremental Typing 1-gen-2019 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Translation Validation for Security Properties 1-gen-2019 Busi, M; Degano, P.; Galletta, L.
Using Standard Typing Algorithms Incrementally 1-gen-2019 Busi, M; Degano, P.; Galletta, L.