팔로우
Pedro Bernardo
Pedro Bernardo
University Assistant, TU Wien
tuwien.ac.at의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
L Veronese, B Farinier, P Bernardo, M Tempesta, M Squarcina, M Maffei
arXiv preprint arXiv:2201.01649, 2022
22022
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
22021
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–2