Mauro Tempesta

About Mauro Tempesta

Mauro Tempesta, With an exceptional h-index of 7 and a recent h-index of 7 (since 2020), a distinguished researcher at Technische Universität Wien, specializes in the field of Security, Web, Formal methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Can i take your subdomain? exploring {Same-Site} attacks in the modern web

FWS: Analyzing, maintaining and transcompiling firewalls

Language-based web session integrity

Mauro Tempesta Information

University

Position

Postdoctoral Researcher

Citations(all)

225

Citations(since 2020)

192

Cited By

111

hIndex(all)

7

hIndex(since 2020)

7

i10Index(all)

7

i10Index(since 2020)

6

Email

University Profile Page

Google Scholar

Mauro Tempesta Skills & Research Interests

Security

Web

Formal methods

Top articles of Mauro Tempesta

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

2023/5/21

Can i take your subdomain? exploring {Same-Site} attacks in the modern web

2021

FWS: Analyzing, maintaining and transcompiling firewalls

Journal of Computer Security

2021/1/1

Language-based web session integrity

2020/6/22

See List of Professors in Mauro Tempesta University(Technische Universität Wien)

Co-Authors

academic-engine