Degano, Pierpaolo
Degano, Pierpaolo
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.01 secondi).
Can my Firewall System Enforce this Policy?
2022 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Detecting memory errors in rust programs including unsafe foreign code
2025 Franceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo
IFCIL: An Information Flow Configuration Language for SELinux
2022 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Towards effective preservation of robust safety properties
2022 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
When obfuscations preserve constant-time
2026 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Can my Firewall System Enforce this Policy? | 1-gen-2022 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio | |
| Detecting memory errors in rust programs including unsafe foreign code | 1-gen-2025 | Franceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo | |
| IFCIL: An Information Flow Configuration Language for SELinux | 1-gen-2022 | Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D. | |
| Towards effective preservation of robust safety properties | 1-gen-2022 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
| When obfuscations preserve constant-time | 1-gen-2026 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio |