Name Card

Full name Familienname, Vorname
Sousa Bernardo, Pedro Miguel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro ; Tempesta, Mauro ; Squarcina, Marco ; Maffei, Matteo WebSpec: Towards Machine-Checked Analysis of Browser Security MechanismsInproceedings Konferenzbeitrag 2023
2Naseredini, Amir ; Gast, Stefan ; Schwarzl, Martin ; Sousa Bernardo, Pedro Miguel ; Smajic, Amel ; Canella, Claudio ; Berger, Martin ; Gruss, Daniel Systematic Analysis of Programming Languages and Their Execution Environments for Spectre AttacksKonferenzbeitrag Inproceedings2022