Pedro Miguel Sousa Bernardo

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Programming Language

General Purpose

Object Oriented

Denotational Semantics

Top Venues

Publications

Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. ICISSP (2022)
Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. CoRR (2021)