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