- Research
- Publications
E
M. Barbosa, Barthe, G., Fan, X., Grégoire, B., Hung, S. - H., Katz, J., Strub, P. - Y., Wu, X., and Zhou, L.,
“EasyPQC: Verifying Post-Quantum Cryptography”,
ACM CCS 2021, 2021.
C
Y. - H. Chen, Chung, K. - M., Lai, C. - Y., Vadhan, S. P., and Wu, X.,
“Computational Notions of Quantum Min-Entropy”, 2017.