%0 Conference Paper %1 conf/crypto/HulsingMS22 %A Hülsing, Andreas %A Meijers, Matthias %A Strub, Pierre-Yves %B CRYPTO (1) %D 2022 %E Dodis, Yevgeniy %E Shrimpton, Thomas %I Springer %K dblp %P 622-653 %T Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt. %U http://dblp.uni-trier.de/db/conf/crypto/crypto2022-1.html#HulsingMS22 %V 13507 %@ 978-3-031-15802-5

@inproceedings{conf/crypto/HulsingMS22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Hülsing, Andreas and Meijers, Matthias and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/24cf9ebddaf0b960ff74fc6b9bb99534e/dblp}, booktitle = {CRYPTO (1)}, crossref = {conf/crypto/2022-1}, editor = {Dodis, Yevgeniy and Shrimpton, Thomas}, ee = {https://doi.org/10.1007/978-3-031-15802-5_22}, interhash = {bf45f2f574cf4588c1cff5f671618854}, intrahash = {4cf9ebddaf0b960ff74fc6b9bb99534e}, isbn = {978-3-031-15802-5}, keywords = {dblp}, pages = {622-653}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:03:09.000+0200}, title = {Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.}, url = {http://dblp.uni-trier.de/db/conf/crypto/crypto2022-1.html#HulsingMS22}, volume = 13507, year = 2022 }