VERONESE, LORENZO
VERONESE, LORENZO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Bulwark: Holistic and verified security monitoring of web protocols
2020-01-01 Veronese, L.; Calzavara, S.; Compagna, L.
Firewall management with FireWall synthesizer
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Language-Independent Synthesis of Firewall Policies
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Letterio, Galletta; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Bulwark: Holistic and verified security monitoring of web protocols | 1-gen-2020 | Veronese L.Calzavara S. + | 4.1 Articolo in Atti di convegno | - | |
| Firewall management with FireWall synthesizer | 1-gen-2018 | Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoTempesta, MauroVeronese, Lorenzo + | 4.1 Articolo in Atti di convegno | - | |
| FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoLuccio, FlaminiaTempesta, MauroVeronese, Lorenzo + | 2.1 Articolo su rivista | - | |
| Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Chiara BodeiPierpaolo DeganoRiccardo FocardiMauro TempestaVERONESE, LORENZO + | 4.1 Articolo in Atti di convegno | - |