BUSI, MATTEO Statistiche
BUSI, MATTEO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.018 secondi).
Control-flow Flattening Preserves the Constant-Time Policy.
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020-01-01 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Securing Interruptible Enclaves
2020-01-01 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Robust Declassification by Incremental Typing
2019-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Translation Validation for Security Properties
2019-01-01 Busi, M; Degano, P.; Galletta, L.
Using Standard Typing Algorithms Incrementally
2019-01-01 Busi, M; Degano, P.; Galletta, L.
| 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. |