BibTeX record conf/ccs/BarbosaBFGHKSWZ21

download as .bib file

@inproceedings{DBLP:conf/ccs/BarbosaBFGHKSWZ21,
  author    = {Manuel Barbosa and
               Gilles Barthe and
               Xiong Fan and
               Benjamin Gr{\'{e}}goire and
               Shih{-}Han Hung and
               Jonathan Katz and
               Pierre{-}Yves Strub and
               Xiaodi Wu and
               Li Zhou},
  editor    = {Yongdae Kim and
               Jong Kim and
               Giovanni Vigna and
               Elaine Shi},
  title     = {EasyPQC: Verifying Post-Quantum Cryptography},
  booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
               Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
  pages     = {2564--2586},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3460120.3484567},
  doi       = {10.1145/3460120.3484567},
  timestamp = {Mon, 03 Jan 2022 22:18:52 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics