TEMPESTA, MAURO
TEMPESTA, MAURO
Development of security extensions based on Chrome APIs
2015 Focardi, Riccardo; Tempesta, Mauro
Disciplined techniques for the analysis and protection of security-critical systems
2019 Tempesta, Mauro
Firewall management with FireWall synthesizer
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
FWS: Analyzing, maintaining and transcompiling firewalls
2021 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Language-Based Web Session Integrity
2020 Calzavara, S.; Focardi, R.; Grimm, N.; Maffei, M.; Tempesta, M.
Language-Independent Synthesis of Firewall Policies
2018 Bodei, Chiara; Degano, Pierpaolo; Letterio, Galletta; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Mind Your Keys? A Security Evaluation of Java Keystores
2018 Focardi, R.; Palmarini, F.; Steel, G.; Squarcina, M.; Tempesta, M.
Provably Sound Browser-Based Enforcement of Web Session Integrity
2014 Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat; Tempesta, Mauro
Surviving the Web: A Journey into Web Session Security
2018 Calzavara, S.; Focardi, R.; Squarcina, M.; Tempesta, M.
Surviving the Web: A Journey into Web Session Security
2017 Calzavara, Stefano; Focardi, Riccardo; Squarcina, Marco; Tempesta, Mauro
Transcompiling Firewalls
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
2018 Calzavara, Stefano; Focardi, Riccardo; Maffei, Matteo; Schneidewind, Clara; Squarcina, Marco; Tempesta, Mauro