Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/pacmpl/BartheBGHLPT20
%A Barthe, Gilles
%A Blazy, Sandrine
%A Grégoire, Benjamin
%A Hutin, Rémi
%A Laporte, Vincent
%A Pichardie, David
%A Trieu, Alix
%D 2020
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 7:1-7:30
%T Formal verification of a constant-time preserving C compiler.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#BartheBGHLPT20
%V 4
@article{journals/pacmpl/BartheBGHLPT20,
added-at = {2023-08-28T00:00:00.000+0200},
author = {Barthe, Gilles and Blazy, Sandrine and Grégoire, Benjamin and Hutin, Rémi and Laporte, Vincent and Pichardie, David and Trieu, Alix},
biburl = {https://www.bibsonomy.org/bibtex/21bcb819f90c1a2999402664fd4d858ff/dblp},
ee = {https://www.wikidata.org/entity/Q121294296},
interhash = {ed4f6fce364e87e2c7fbb85d9710742e},
intrahash = {1bcb819f90c1a2999402664fd4d858ff},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {7:1-7:30},
timestamp = {2024-04-08T09:54:11.000+0200},
title = {Formal verification of a constant-time preserving C compiler.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#BartheBGHLPT20},
volume = 4,
year = 2020
}