Name Card

Full name Familienname, Vorname

Tempesta, Mauro

Main Affiliation Organisationszuordnung

E192-06 - Forschungsbereich Security and Privacy

Own Publications Eigene Publikationen

Results 1-13 of 13 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro ; Tempesta, Mauro ; Squarcina, Marco ; Maffei, Matteo	WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms	Inproceedings Konferenzbeitrag	2023
	2		Squarcina, Marco ; Tempesta, Mauro ; Veronese, Lorenzo ; Calzavara, Stefano ; Maffei, Matteo	Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web	Konferenzbeitrag Inproceedings	2021
	3		Bodei, Chiara ; Ceragioli, Lorenzo ; Degano, Pierpaolo ; Focardi, Riccardo ; Galletta, Letterio ; Luccio, Flaminia ; Tempesta, Mauro ; Veronese, Lorenzo	FWS: Analyzing, Maintaining and Transcompiling Firewalls	Artikel Article	2021
	4		Calzavara, Stefano ; Focardi, Riccardo ; Grimm, Niklas ; Maffei, Matteo ; Tempesta, Mauro	Language-Based Web Session Integrity	Konferenzbeitrag Inproceedings	2020
	5		Ceragioli, Lorenzo ; Galletta, Letterio ; Tempesta, Mauro	From Firewalls to Functions and Back	Konferenzbeitrag Inproceedings	2019
	6		Tempesta, Mauro ; Bodei, Chiara ; Degano, Pierpaolo ; Forcardi, Riccardo ; Galletta, Letterio ; Veronese, Lorenzo	Firewall Management With FireWall Synthesizer	Konferenzbeitrag Inproceedings	2018
	7		Focardi, Riccardo ; Squarcina, Marco ; Steel, Graham ; Palmarini, Marco ; Tempesta, Mauro	Mind Your Keys? A Security Evaluation of Java Keystores	Konferenzbeitrag Inproceedings	2018
	8		Bodei, Chiara ; Degano, Pierpaolo ; Focardi, Riccardo ; Galletta, Letterio ; Tempesta, Mauro	Transcompiling Firewalls	Konferenzbeitrag Inproceedings	2018
	9		Calzavara, Stefano ; Maffei, Matteo ; Schneidewind, Clara ; Tempesta, Mauro ; Squarcina, Marco	WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring	Konferenzbeitrag Inproceedings	2018
	10		Calzavara, Stefano ; Squarcina, Marco ; Focardi, Riccardo ; Tempesta, Mauro	Surviving the Web	Konferenzbeitrag Inproceedings	2018
	11		Bodei, Chiara ; Degano, Pierpaolo ; Galletta, Letterio ; Focardi, Riccardo ; Tempesta, Mauro ; Veronese, Lorenzo	Language-Independent Synthesis of Firewall Policies	Konferenzbeitrag Inproceedings	2018
	12		Calzavara, Stefano ; Focardi, Riccardo ; Squarcina, Marco ; Tempesta, Mauro	Surviving the Web: A Journey into Web Session Security	Artikel Article	6-Mar-2017
	13		Calzavara, Stefano ; Focardi, Riccardo ; Khan, Wilayat ; Tempesta, Mauro	Provably Sound Browser-Based Enforcement of Web Session Integrity	Konferenzbeitrag Inproceedings	2014