@article{DBLP:journals/iacr/BartheBGHLPT19,
  author    = {Gilles Barthe and
               Sandrine Blazy and
               Benjamin Gr{\'{e}}goire and
               R{\'{e}}mi Hutin and
               Vincent Laporte and
               David Pichardie and
               Alix Trieu},
  title     = {Formal Verification of a Constant-Time Preserving {C} Compiler},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2019},
  pages     = {926},
  year      = {2019},
  url       = {https://eprint.iacr.org/2019/926},
  timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheBGHLPT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fsuJHTbkseFdoJrd8","bibbaseid":"barthe-blazy-grgoire-hutin-laporte-pichardie-trieu-formalverificationofaconstanttimepreservingccompiler-2019","authorIDs":[],"author_short":["Barthe, G.","Blazy, S.","Grégoire, B.","Hutin, R.","Laporte, V.","Pichardie, D.","Trieu, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Rémi"],"propositions":[],"lastnames":["Hutin"],"suffixes":[]},{"firstnames":["Vincent"],"propositions":[],"lastnames":["Laporte"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pichardie"],"suffixes":[]},{"firstnames":["Alix"],"propositions":[],"lastnames":["Trieu"],"suffixes":[]}],"title":"Formal Verification of a Constant-Time Preserving C Compiler","journal":"IACR Cryptology ePrint Archive","volume":"2019","pages":"926","year":"2019","url":"https://eprint.iacr.org/2019/926","timestamp":"Mon, 23 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/iacr/BartheBGHLPT19","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iacr/BartheBGHLPT19,\n author = {Gilles Barthe and\n Sandrine Blazy and\n Benjamin Gr{\\'{e}}goire and\n R{\\'{e}}mi Hutin and\n Vincent Laporte and\n David Pichardie and\n Alix Trieu},\n title = {Formal Verification of a Constant-Time Preserving {C} Compiler},\n journal = {{IACR} Cryptology ePrint Archive},\n volume = {2019},\n pages = {926},\n year = {2019},\n url = {https://eprint.iacr.org/2019/926},\n timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/iacr/BartheBGHLPT19},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Barthe, G.","Blazy, S.","Grégoire, B.","Hutin, R.","Laporte, V.","Pichardie, D.","Trieu, A."],"key":"DBLP:journals/iacr/BartheBGHLPT19","id":"DBLP:journals/iacr/BartheBGHLPT19","bibbaseid":"barthe-blazy-grgoire-hutin-laporte-pichardie-trieu-formalverificationofaconstanttimepreservingccompiler-2019","role":"author","urls":{"Paper":"https://eprint.iacr.org/2019/926"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/174/4816.bib","creationDate":"2019-10-22T17:54:12.226Z","downloads":0,"keywords":[],"search_terms":["formal","verification","constant","time","preserving","compiler","barthe","blazy","grégoire","hutin","laporte","pichardie","trieu"],"title":"Formal Verification of a Constant-Time Preserving C Compiler","year":2019,"dataSources":["MTdibT9ofedcPwCXh"]}