Sfoglia per Autore
Mostra risultati da 1 a 6 di 6
Using Standard Typing Algorithms Incrementally
2019-01-01 Busi, M; Degano, P.; Galletta, L.
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.
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.
Control-flow Flattening Preserves the Constant-Time Policy.
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Using Standard Typing Algorithms Incrementally | 1-gen-2019 | Busi, M; Degano, P.; Galletta, L. | |
| 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. | |
| 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. | |
| Control-flow Flattening Preserves the Constant-Time Policy. | 1-gen-2020 | Busi, M.; Degano, P.; Galletta, L. |
Mostra risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile