LUNATI, EDOARDO
LUNATI, EDOARDO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Checking information flow in cloud-based IoT access control policies
2026 Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Differential Verification of Information Flow in SEAndroid Policies
In corso di stampa Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Differential verification of information flow in SEAndroid policies
2026 Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Checking information flow in cloud-based IoT access control policies | 1-gen-2026 | Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo | |
| Differential Verification of Information Flow in SEAndroid Policies | In corso di stampa | Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo | |
| Differential verification of information flow in SEAndroid policies | 1-gen-2026 | Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo |