Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jacques-Henri Jourdan
@article{DBLP:journals/pacmpl/PottierGJM24,
author = {Fran{\c{c}}ois Pottier and
Arma{\"{e}}l Gu{\'{e}}neau and
Jacques{-}Henri Jourdan and
Glen M{\'{e}}vel},
title = {Thunks and Debits in Separation Logic with Time Credits},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1482--1508},
year = {2024},
url = {https://doi.org/10.1145/3632892},
doi = {10.1145/3632892},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PottierGJM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DenisJ23,
author = {Xavier Denis and
Jacques{-}Henri Jourdan},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Specifying and Verifying Higher-order Rust Iterators},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {93--110},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_9},
doi = {10.1007/978-3-031-30820-8\_9},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DenisJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DenisJM22,
author = {Xavier Denis and
Jacques{-}Henri Jourdan and
Claude March{\'{e}}},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Creusot: {A} Foundry for the Deductive Verification of Rust Programs},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {90--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_6},
doi = {10.1007/978-3-031-17244-1\_6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DenisJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MatsushitaDJD22,
author = {Yusuke Matsushita and
Xavier Denis and
Jacques{-}Henri Jourdan and
Derek Dreyer},
editor = {Ranjit Jhala and
Isil Dillig},
title = {RustHornBelt: a semantic foundation for functional verification of
Rust programs with unsafe code},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {841--856},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523704},
doi = {10.1145/3519939.3523704},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MatsushitaDJD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/JungJKD21,
author = {Ralf Jung and
Jacques{-}Henri Jourdan and
Robbert Krebbers and
Derek Dreyer},
title = {Safe systems programming in Rust},
journal = {Commun. {ACM}},
volume = {64},
number = {4},
pages = {144--152},
year = {2021},
url = {https://doi.org/10.1145/3418295},
doi = {10.1145/3418295},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/JungJKD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MevelJ21,
author = {Glen M{\'{e}}vel and
Jacques{-}Henri Jourdan},
title = {Formal verification of a concurrent bounded queue in a weak memory
model},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3473571},
doi = {10.1145/3473571},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MevelJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MevelJP20,
author = {Glen M{\'{e}}vel and
Jacques{-}Henri Jourdan and
Fran{\c{c}}ois Pottier},
title = {Cosmo: a concurrent separation logic for multicore OCaml},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {96:1--96:29},
year = {2020},
url = {https://doi.org/10.1145/3408978},
doi = {10.1145/3408978},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MevelJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VilhenaPJ20,
author = {Paulo Em{\'{\i}}lio de Vilhena and
Fran{\c{c}}ois Pottier and
Jacques{-}Henri Jourdan},
title = {Spy game: verifying a local generic solver in Iris},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {33:1--33:28},
year = {2020},
url = {https://doi.org/10.1145/3371101},
doi = {10.1145/3371101},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/VilhenaPJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DangJKD20,
author = {Hoang{-}Hai Dang and
Jacques{-}Henri Jourdan and
Jan{-}Oliver Kaiser and
Derek Dreyer},
title = {RustBelt meets relaxed memory},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {34:1--34:29},
year = {2020},
url = {https://doi.org/10.1145/3371102},
doi = {10.1145/3371102},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/DangJKD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MevelJP19,
author = {Glen M{\'{e}}vel and
Jacques{-}Henri Jourdan and
Fran{\c{c}}ois Pottier},
editor = {Lu{\'{\i}}s Caires},
title = {Time Credits and Time Receipts in Iris},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {3--29},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_1},
doi = {10.1007/978-3-030-17184-1\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MevelJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GueneauJCP19,
author = {Arma{\"{e}}l Gu{\'{e}}neau and
Jacques{-}Henri Jourdan and
Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Formal Proof and Analysis of an Incremental Cycle Detection Algorithm},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {18:1--18:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.18},
doi = {10.4230/LIPICS.ITP.2019.18},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/GueneauJCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JungKJBBD18,
author = {Ralf Jung and
Robbert Krebbers and
Jacques{-}Henri Jourdan and
Ales Bizjak and
Lars Birkedal and
Derek Dreyer},
title = {Iris from the ground up: {A} modular foundation for higher-order concurrent
separation logic},
journal = {J. Funct. Program.},
volume = {28},
pages = {e20},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000151},
doi = {10.1017/S0956796818000151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JungKJBBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrebbersJ0TKTCD18,
author = {Robbert Krebbers and
Jacques{-}Henri Jourdan and
Ralf Jung and
Joseph Tassarotti and
Jan{-}Oliver Kaiser and
Amin Timany and
Arthur Chargu{\'{e}}raud and
Derek Dreyer},
title = {MoSeL: a general, extensible modal framework for interactive proofs
in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {77:1--77:30},
year = {2018},
url = {https://doi.org/10.1145/3236772},
doi = {10.1145/3236772},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KrebbersJ0TKTCD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/0002JKD18,
author = {Ralf Jung and
Jacques{-}Henri Jourdan and
Robbert Krebbers and
Derek Dreyer},
title = {RustBelt: securing the foundations of the rust programming language},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {66:1--66:34},
year = {2018},
url = {https://doi.org/10.1145/3158154},
doi = {10.1145/3158154},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/0002JKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JourdanP17,
author = {Jacques{-}Henri Jourdan and
Fran{\c{c}}ois Pottier},
title = {A Simple, Possibly Correct {LR} Parser for {C11}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {4},
pages = {14:1--14:36},
year = {2017},
url = {https://doi.org/10.1145/3064848},
doi = {10.1145/3064848},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/JourdanP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Krebbers0BJDB17,
author = {Robbert Krebbers and
Ralf Jung and
Ales Bizjak and
Jacques{-}Henri Jourdan and
Derek Dreyer and
Lars Birkedal},
editor = {Hongseok Yang},
title = {The Essence of Higher-Order Concurrent Separation Logic},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {696--723},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_26},
doi = {10.1007/978-3-662-54434-1\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/Krebbers0BJDB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Jourdan16,
author = {Jacques{-}Henri Jourdan},
title = {Verasco: a Formally Verified {C} Static Analyzer. (Verasco: un analyseur
statique pour {C} formellement v{\'{e}}rifi{\'{e}})},
school = {Paris Diderot University, France},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01327023},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Jourdan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/RiviereJZ16,
author = {Marie{-}Karelle Riviere and
Jacques{-}Henri Jourdan and
Sarah Zohar},
title = {dfcomb: An R-package for phase {I/II} trials of drug combinations},
journal = {Comput. Methods Programs Biomed.},
volume = {125},
pages = {117--133},
year = {2016},
url = {https://doi.org/10.1016/j.cmpb.2015.10.018},
doi = {10.1016/J.CMPB.2015.10.018},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/RiviereJZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jourdan17,
author = {Jacques{-}Henri Jourdan},
editor = {Isabella Mastroeni},
title = {Sparsity Preserving Algorithms for Octagons},
booktitle = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {331},
pages = {57--70},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.02.004},
doi = {10.1016/J.ENTCS.2017.02.004},
timestamp = {Thu, 10 Nov 2022 10:57:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jourdan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jourdan16,
author = {Jacques{-}Henri Jourdan},
title = {Sparsity Preserving Algorithms for Octagons},
journal = {CoRR},
volume = {abs/1612.00277},
year = {2016},
url = {http://arxiv.org/abs/1612.00277},
eprinttype = {arXiv},
eprint = {1612.00277},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jourdan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BoldoJLM15,
author = {Sylvie Boldo and
Jacques{-}Henri Jourdan and
Xavier Leroy and
Guillaume Melquiond},
title = {Verified Compilation of Floating-Point Computations},
journal = {J. Autom. Reason.},
volume = {54},
number = {2},
pages = {135--163},
year = {2015},
url = {https://doi.org/10.1007/s10817-014-9317-x},
doi = {10.1007/S10817-014-9317-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BoldoJLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JourdanLBLP15,
author = {Jacques{-}Henri Jourdan and
Vincent Laporte and
Sandrine Blazy and
Xavier Leroy and
David Pichardie},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Formally-Verified {C} Static Analyzer},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {247--259},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676966},
doi = {10.1145/2676726.2676966},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/JourdanLBLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BraibantJM14,
author = {Thomas Braibant and
Jacques{-}Henri Jourdan and
David Monniaux},
title = {Implementing and Reasoning About Hash-consed Data Structures in Coq},
journal = {J. Autom. Reason.},
volume = {53},
number = {3},
pages = {271--304},
year = {2014},
url = {https://doi.org/10.1007/s10817-014-9306-0},
doi = {10.1007/S10817-014-9306-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BraibantJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/GoubaultJPS14,
author = {Eric Goubault and
Jacques{-}Henri Jourdan and
Sylvie Putot and
Sriram Sankaranarayanan},
title = {Finding non-polynomial positive invariants and lyapunov functions
for polynomial systems through Darboux polynomials},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {3571--3578},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859330},
doi = {10.1109/ACC.2014.6859330},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/GoubaultJPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BoldoJLM13,
author = {Sylvie Boldo and
Jacques{-}Henri Jourdan and
Xavier Leroy and
Guillaume Melquiond},
editor = {Alberto Nannarelli and
Peter{-}Michael Seidel and
Ping Tak Peter Tang},
title = {A Formally-Verified {C} Compiler Supporting Floating-Point Arithmetic},
booktitle = {21st {IEEE} Symposium on Computer Arithmetic, {ARITH} 2013, Austin,
TX, USA, April 7-10, 2013},
pages = {107--115},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ARITH.2013.30},
doi = {10.1109/ARITH.2013.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arith/BoldoJLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BraibantJM13,
author = {Thomas Braibant and
Jacques{-}Henri Jourdan and
David Monniaux},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Implementing Hash-Consed Structures in Coq},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {477--483},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_36},
doi = {10.1007/978-3-642-39634-2\_36},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BraibantJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6038,
author = {Thomas Braibant and
Jacques{-}Henri Jourdan and
David Monniaux},
title = {Implementing hash-consed structures in Coq},
journal = {CoRR},
volume = {abs/1304.6038},
year = {2013},
url = {http://arxiv.org/abs/1304.6038},
eprinttype = {arXiv},
eprint = {1304.6038},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BraibantJM13,
author = {Thomas Braibant and
Jacques{-}Henri Jourdan and
David Monniaux},
title = {Implementing and reasoning about hash-consed data structures in Coq},
journal = {CoRR},
volume = {abs/1311.2959},
year = {2013},
url = {http://arxiv.org/abs/1311.2959},
eprinttype = {arXiv},
eprint = {1311.2959},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BraibantJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/BriaisCCDGJMNP12,
author = {S{\'{e}}bastien Briais and
St{\'{e}}phane Caron and
Jean{-}Michel Cioranesco and
Jean{-}Luc Danger and
Sylvain Guilley and
Jacques{-}Henri Jourdan and
Arthur Milchior and
David Naccache and
Thibault Porteboeuf},
editor = {Emmanuel Prouff and
Patrick Schaumont},
title = {3D Hardware Canaries},
booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2012 - 14th International
Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7428},
pages = {1--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33027-8\_1},
doi = {10.1007/978-3-642-33027-8\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ches/BriaisCCDGJMNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JourdanPL12,
author = {Jacques{-}Henri Jourdan and
Fran{\c{c}}ois Pottier and
Xavier Leroy},
editor = {Helmut Seidl},
title = {Validating {LR(1)} Parsers},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {397--416},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_20},
doi = {10.1007/978-3-642-28869-2\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/JourdanPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BriaisCCDGJMNP12,
author = {S{\'{e}}bastien Briais and
St{\'{e}}phane Caron and
Jean{-}Michel Cioranesco and
Jean{-}Luc Danger and
Sylvain Guilley and
Jacques{-}Henri Jourdan and
Arthur Milchior and
David Naccache and
Thibault Porteboeuf},
title = {3D Hardware Canaries},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {324},
year = {2012},
url = {http://eprint.iacr.org/2012/324},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BriaisCCDGJMNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
