Follow
Pedro Bernardo
Pedro Bernardo
University Assistant, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
L Veronese, B Farinier, P Bernardo, M Tempesta, M Squarcina, M Maffei
2023 IEEE Symposium on Security and Privacy (SP), 2761-2779, 2023
72023
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
A Naseredini, S Gast, M Schwarzl, PMS Bernardo, A Smajic, C Canella, ...
arXiv preprint arXiv:2111.12528, 2021
32021
Web Platform Threats: Automated Detection of Web Security Issues With WPT
P Bernardo, L Veronese, V Dalla Valle, S Calzavara, M Squarcina, ...
33rd USENIX Security Symposium, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–3