About me
Hi, I am Mauro Tempesta! I received my PhD in Computer Science at Università Ca' Foscari (Venice, Italy) under the supervision of Riccardo Focardi. I am currently working as a PostDoc researcher in the Security & Privacy research division directed by Matteo Maffei at TU Wien (Vienna, Austria).
I am interested in formal methods and computer security, the main topics of my research activity. I have also worked as a penetration tester for some IT companies near Venice.
I love solving security challenges and playing CTFs with c00kies and mHACKeroni. I am also passionate about retrogaming, cycling... and beers :)
Education
PhD in Computer Science
Sep 2015 - Mar 2019
MSc in Computer Science
Aug 2012 - Mar 2015
BSc in Computer Science
Sep 2009 - Jun 2012
High School Diploma in Computer Science
Sep 2004 - Jul 2009
Publications
Journal Papers
S. Calzavara, R. Focardi, M. Squarcina, M. Tempesta. Surviving the Web: A Journey into Web Session Security. ACM Computing Surveys (CSUR).
Conference Papers
L. Ceragioli, L. Galletta, M. Tempesta. From Firewalls to Functions and Back. 3rd Italian Conference on Cybersecurity (ITASEC 2019).
S. Calzavara, R. Focardi, M. Maffei, C. Schneidewind, M. Squarcina, M. Tempesta. WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. 27th Usenix Security Symposium (Usenix Security '18). Slides
C. Bodei, P. Degano, R. Focardi, L. Galletta, M. Tempesta, L. Veronese. Language-Independent Synthesis of Firewall Policies. 3rd IEEE European Symposium on Security and Privacy (EuroS&P 2018). Slides
S. Calzavara, R. Focardi, M. Squarcina, M. Tempesta. Surviving the Web: A Journey into Web Session Security (Extended Abstract). 27th Edition of The Web Conference (TheWebConf 2018), Journal Track.
C. Bodei, P. Degano, R. Focardi, L. Galletta, M. Tempesta. Transcompiling Firewalls. 7th International Conference on Principles of Security and Trust (POST 2018).
R. Focardi, F. Palmarini, M. Squarcina, G. Steel, M. Tempesta. Mind Your Keys? A Security Evaluation of Java Keystores. 25th Network and Distributed System Security Symposium (NDSS 2018).
C. Bodei, P. Degano, R. Focardi, L. Galletta, M. Tempesta, L. Veronese. Firewall Management with FireWall Synthesizer (Demo Paper). 2nd Italian Conference on Cybersecurity (ITASEC 2018).
M. Bugliesi, S. Calzavara, R. Focardi, W. Khan, M. Tempesta. Provably Sound Browser-Based Enforcement of Web Session Integrity. 27th IEEE Computer Security Foundations Symposium (CSF 2014).
Workshops
R. Focardi, M. Tempesta. Development of Security Extensions Based on Chrome APIs. 8th International Workshop on Analysis of Security APIs (ASA-8), satellite workshop of CSF 2015.
Teaching Assistance
A.Y. 2012/13 - A.Y. 2017/18
A.Y. 2013/14 - A.Y. 2017/18
A.Y. 2015/16