%0 Conference Paper %1 conf/ccs/BarbosaBFGHKSWZ21 %A Barbosa, Manuel %A Barthe, Gilles %A Fan, Xiong %A Grégoire, Benjamin %A Hung, Shih-Han %A Katz, Jonathan %A Strub, Pierre-Yves %A Wu, Xiaodi %A Zhou, Li %B CCS %D 2021 %E Kim, Yongdae %E Kim, Jong %E Vigna, Giovanni %E Shi, Elaine %I ACM %K dblp %P 2564-2586 %T EasyPQC: Verifying Post-Quantum Cryptography. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2021.html#BarbosaBFGHKSWZ21 %@ 978-1-4503-8454-4

@inproceedings{conf/ccs/BarbosaBFGHKSWZ21, added-at = {2023-12-17T00:00:00.000+0100}, author = {Barbosa, Manuel and Barthe, Gilles and Fan, Xiong and Grégoire, Benjamin and Hung, Shih-Han and Katz, Jonathan and Strub, Pierre-Yves and Wu, Xiaodi and Zhou, Li}, biburl = {https://www.bibsonomy.org/bibtex/2711426f930c045da4b454c1a4abb63c4/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2021}, editor = {Kim, Yongdae and Kim, Jong and Vigna, Giovanni and Shi, Elaine}, ee = {https://doi.org/10.1145/3460120.3484567}, interhash = {5a3a0283a692c5dea873cf8541d8f87f}, intrahash = {711426f930c045da4b454c1a4abb63c4}, isbn = {978-1-4503-8454-4}, keywords = {dblp}, pages = {2564-2586}, publisher = {ACM}, timestamp = {2024-04-09T10:14:33.000+0200}, title = {EasyPQC: Verifying Post-Quantum Cryptography.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2021.html#BarbosaBFGHKSWZ21}, year = 2021 }