EasyPQC: Verifying Post-Quantum Cryptography
Part Of
Proceedings of the ACM Conference on Computer and Communications Security
Start Page
2564
End Page
2586
ISBN (of the container)
978-145038454-4
Date Issued
2021-11-12
Author(s)
Manuel Barbosa
Gilles Barthe
Xiong Fan
Benjamin Grégoire
Jonathan Katz
Pierre-Yves Strub
Xiaodi Wu
Li Zhou
Event(s)
27th ACM Annual Conference on Computer and Communication Security
SDGs
Publisher
ACM
Type
conference paper