VERONESE, LORENZO
VERONESE, LORENZO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.001 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
Web Platform Threats: Automated Detection of Web Security Issues With WPT
2024-01-01 Bernardo, P.; Veronese, L.; Dalla Valle, V.; Calzavara, S.; Squarcina, M.; Adao, P.; Maffei, M.
| 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 | - | |
| Web Platform Threats: Automated Detection of Web Security Issues With WPT | 1-gen-2024 | Veronese L.Dalla Valle V.Calzavara S.Squarcina M.Maffei M. + | 4.1 Articolo in Atti di convegno | - |