BibTeX record journals/iacr/BartheBDFG15

download as .bib file

@article{DBLP:journals/iacr/BartheBDFG15,
  author    = {Gilles Barthe and
               Sonia Bela{\"{\i}}d and
               Fran{\c{c}}ois Dupressoir and
               Pierre{-}Alain Fouque and
               Benjamin Gr{\'{e}}goire},
  title     = {Compositional Verification of Higher-Order Masking: Application to
               a Verifying Masking Compiler},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2015},
  pages     = {506},
  year      = {2015},
  url       = {http://eprint.iacr.org/2015/506},
  timestamp = {Tue, 14 Aug 2018 17:08:11 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/BartheBDFG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier