- Research
- Publications
Journal Article
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.
Y. - H. Chen, Chung, K. - M., Lai, C. - Y., Vadhan, S. P., and Wu, X.,
“Computational Notions of Quantum Min-Entropy”, 2017.
Conference Paper
K. Hietala, Li, L., Gaur, A., Green, A., Rand, R., Wu, X., and Hicks, M.,
“Expanding the VOQC Toolkit”, in
The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), 2021.