• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks.

Amir NaserediniStefan GastMartin SchwarzlPedro Miguel Sousa BernardoAmel SmajicClaudio CanellaMartin BergerDaniel Gruss
Published in: ICISSP (2022)
Keyphrases
  • programming language
  • object oriented
  • general purpose
  • software engineering
  • database languages
  • strongly typed
  • lambda calculus
  • denotational semantics
  • high level programming language