Skip to content

Mauro Tempesta

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2018–2023

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2023SPWebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
2018NDSSMind Your Keys? A Security Evaluation of Java Keystores.Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta
2018WWWSurviving the Web: A Journey into Web Session Security.Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta