@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},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib},
  booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer
and Communications Security, Virtual Event, Republic
of Korea, November 15 - 19, 2021},
  doi = {10.1145/3460120.3484567},
  editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and
Elaine Shi},
  isbn = {978-1-4503-8454-4},
  pages = {2564--2586},
  publisher = {{ACM}},
  timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
  title = {EasyPQC: Verifying Post-Quantum Cryptography},
  url = {https://doi.org/10.1145/3460120.3484567},
  year = {2021}
}

{"_id":"TndWLTci2WPXmdt8v","bibbaseid":"barbosa-barthe-fan-grgoire-hung-katz-strub-wu-etal-easypqcverifyingpostquantumcryptography-2021","author_short":["Barbosa, M.","Barthe, G.","Fan, X.","Grégoire, B.","Hung, S.","Katz, J.","Strub, P.","Wu, X.","Zhou, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Manuel"],"propositions":[],"lastnames":["Barbosa"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Xiong"],"propositions":[],"lastnames":["Fan"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Shih-Han"],"propositions":[],"lastnames":["Hung"],"suffixes":[]},{"firstnames":["Jonathan"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Xiaodi"],"propositions":[],"lastnames":["Wu"],"suffixes":[]},{"firstnames":["Li"],"propositions":[],"lastnames":["Zhou"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib","booktitle":"CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021","doi":"10.1145/3460120.3484567","editor":[{"firstnames":["Yongdae"],"propositions":[],"lastnames":["Kim"],"suffixes":[]},{"firstnames":["Jong"],"propositions":[],"lastnames":["Kim"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Vigna"],"suffixes":[]},{"firstnames":["Elaine"],"propositions":[],"lastnames":["Shi"],"suffixes":[]}],"isbn":"978-1-4503-8454-4","pages":"2564–2586","publisher":"ACM","timestamp":"Mon, 03 Jan 2022 00:00:00 +0100","title":"EasyPQC: Verifying Post-Quantum Cryptography","url":"https://doi.org/10.1145/3460120.3484567","year":"2021","bibtex":"@inproceedings{DBLP:conf/ccs/BarbosaBFGHKSWZ21,\n author = {Manuel Barbosa and Gilles Barthe and Xiong Fan and\nBenjamin Gr{\\'{e}}goire and Shih{-}Han Hung and\nJonathan Katz and Pierre{-}Yves Strub and Xiaodi Wu and\nLi Zhou},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ccs/BarbosaBFGHKSWZ21.bib},\n booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer\nand Communications Security, Virtual Event, Republic\nof Korea, November 15 - 19, 2021},\n doi = {10.1145/3460120.3484567},\n editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and\nElaine Shi},\n isbn = {978-1-4503-8454-4},\n pages = {2564--2586},\n publisher = {{ACM}},\n timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},\n title = {EasyPQC: Verifying Post-Quantum Cryptography},\n url = {https://doi.org/10.1145/3460120.3484567},\n year = {2021}\n}\n\n","author_short":["Barbosa, M.","Barthe, G.","Fan, X.","Grégoire, B.","Hung, S.","Katz, J.","Strub, P.","Wu, X.","Zhou, L."],"editor_short":["Kim, Y.","Kim, J.","Vigna, G.","Shi, E."],"key":"DBLP:conf/ccs/BarbosaBFGHKSWZ21","id":"DBLP:conf/ccs/BarbosaBFGHKSWZ21","bibbaseid":"barbosa-barthe-fan-grgoire-hung-katz-strub-wu-etal-easypqcverifyingpostquantumcryptography-2021","role":"author","urls":{"Paper":"https://doi.org/10.1145/3460120.3484567"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","dataSources":["q4vBTsWpxooqz6FoB"],"keywords":[],"search_terms":["easypqc","verifying","post","quantum","cryptography","barbosa","barthe","fan","grégoire","hung","katz","strub","wu","zhou"],"title":"EasyPQC: Verifying Post-Quantum Cryptography","year":2021,"downloads":1}