BibTeX record conf/csfw/BartheGJKS19

download as .bib file

@inproceedings{DBLP:conf/csfw/BartheGJKS19,
  author    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Charlie Jacomme and
               Steve Kremer and
               Pierre{-}Yves Strub},
  title     = {Symbolic Methods in Computational Cryptography Proofs},
  booktitle = {{CSF}},
  pages     = {136--151},
  publisher = {{IEEE}},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics