- Research
- Publications
E
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.
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.