@inproceedings{DBLP:conf/crypto/HulsingMS22,
  author = {Andreas H{\"{u}}lsing and Matthias Meijers and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/crypto/HulsingMS22.bib},
  booktitle = {Advances in Cryptology - {CRYPTO} 2022 - 42nd Annual
International Cryptology Conference, {CRYPTO} 2022,
Santa Barbara, CA, USA, August 15-18, 2022,
Proceedings, Part {I}},
  doi = {10.1007/978-3-031-15802-5\_22},
  editor = {Yevgeniy Dodis and Thomas Shrimpton},
  isbn = {978-3-031-15801-8},
  pages = {622--653},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
  title = {Formal Verification of Saber's Public-Key Encryption
Scheme in EasyCrypt},
  url = {https://doi.org/10.1007/978-3-031-15802-5\_22},
  volume = {13507},
  year = {2022}
}

{"_id":"uaPCZqLdTJDY6Cxx9","bibbaseid":"hlsing-meijers-strub-formalverificationofsaberspublickeyencryptionschemeineasycrypt-2022","author_short":["Hülsing, A.","Meijers, M.","Strub, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andreas"],"propositions":[],"lastnames":["Hülsing"],"suffixes":[]},{"firstnames":["Matthias"],"propositions":[],"lastnames":["Meijers"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/crypto/HulsingMS22.bib","booktitle":"Advances in Cryptology - CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part I","doi":"10.1007/978-3-031-15802-5_22","editor":[{"firstnames":["Yevgeniy"],"propositions":[],"lastnames":["Dodis"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Shrimpton"],"suffixes":[]}],"isbn":"978-3-031-15801-8","pages":"622–653","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Sun, 13 Nov 2022 00:00:00 +0100","title":"Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt","url":"https://doi.org/10.1007/978-3-031-15802-5\\_22","volume":"13507","year":"2022","bibtex":"@inproceedings{DBLP:conf/crypto/HulsingMS22,\n author = {Andreas H{\\\"{u}}lsing and Matthias Meijers and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/crypto/HulsingMS22.bib},\n booktitle = {Advances in Cryptology - {CRYPTO} 2022 - 42nd Annual\nInternational Cryptology Conference, {CRYPTO} 2022,\nSanta Barbara, CA, USA, August 15-18, 2022,\nProceedings, Part {I}},\n doi = {10.1007/978-3-031-15802-5\\_22},\n editor = {Yevgeniy Dodis and Thomas Shrimpton},\n isbn = {978-3-031-15801-8},\n pages = {622--653},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},\n title = {Formal Verification of Saber's Public-Key Encryption\nScheme in EasyCrypt},\n url = {https://doi.org/10.1007/978-3-031-15802-5\\_22},\n volume = {13507},\n year = {2022}\n}\n\n","author_short":["Hülsing, A.","Meijers, M.","Strub, P."],"editor_short":["Dodis, Y.","Shrimpton, T."],"key":"DBLP:conf/crypto/HulsingMS22","id":"DBLP:conf/crypto/HulsingMS22","bibbaseid":"hlsing-meijers-strub-formalverificationofsaberspublickeyencryptionschemeineasycrypt-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-15802-5\\_22"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","dataSources":["q4vBTsWpxooqz6FoB"],"keywords":[],"search_terms":["formal","verification","saber","public","key","encryption","scheme","easycrypt","hülsing","meijers","strub"],"title":"Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt","year":2022}