TEMPESTA, MAURO

TEMPESTA, MAURO  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Development of security extensions based on Chrome APIs 1-gen-2015 FOCARDI, RiccardoTEMPESTA, MAURO 4.2 Abstract in Atti di convegno -
Disciplined techniques for the analysis and protection of security-critical systems 20-mar-2019 Tempesta, Mauro - -
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-Based Web Session Integrity 1-gen-2020 Calzavara S.Focardi R.Maffei M.Tempesta M. + 4.1 Articolo in Atti di convegno -
Language-Independent Synthesis of Firewall Policies 1-gen-2018 Chiara BodeiPierpaolo DeganoRiccardo FocardiMauro TempestaVERONESE, LORENZO + 4.1 Articolo in Atti di convegno -
Mind Your Keys? A Security Evaluation of Java Keystores 1-gen-2018 R. FocardiF. PalmariniM. SquarcinaM. Tempesta + 4.1 Articolo in Atti di convegno -
Provably Sound Browser-Based Enforcement of Web Session Integrity 1-gen-2014 BUGLIESI, MicheleCALZAVARA, STEFANOFOCARDI, RiccardoKHAN, WILAYATTEMPESTA, MAURO 4.1 Articolo in Atti di convegno -
Surviving the Web: A Journey into Web Session Security 1-gen-2017 CALZAVARA, STEFANOFOCARDI, RiccardoSQUARCINA, MARCOTEMPESTA, MAURO 2.1 Articolo su rivista -
Surviving the Web: A Journey into Web Session Security 1-gen-2018 Calzavara S.Focardi R.Squarcina M.Tempesta M. 4.2 Abstract in Atti di convegno -
Transcompiling Firewalls 1-gen-2018 Chiara BodeiPierpaolo DeganoRiccardo Focardi Mauro Tempesta + 4.1 Articolo in Atti di convegno -
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring 1-gen-2018 Stefano CalzavaraRiccardo FocardiMatteo MaffeiMarco SquarcinaMauro Tempesta + 4.1 Articolo in Atti di convegno -