Formal Verification of a Constant-Time Preserving C Compiler

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

DOI

  • Gilles Barthe
  • ,
  • Sandrine Blazy
  • ,
  • Benjamin Grégoire
  • ,
  • Rémi Hutin
  • ,
  • Vincent Laporte
  • ,
  • David Pichardie
  • ,
  • Alix Trieu
OriginalsprogEngelsk
Artikelnummer7
TidsskriftProceedings of the ACM on Programming Languages
Vol/bind4
NummerPOPL
Antal sider30
DOI
StatusUdgivet - 2020
BegivenhedThe 47th ACM SIGPLAN Symposium on Principles of Programming Languages - New Orleans, USA
Varighed: 22 jan. 202024 jan. 2020
Konferencens nummer: 2020
https://popl20.sigplan.org/

Konference

KonferenceThe 47th ACM SIGPLAN Symposium on Principles of Programming Languages
Nummer2020
LandUSA
ByNew Orleans
Periode22/01/202024/01/2020
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

ID: 176035995