- Research
- Publications
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.
2018
H. Chan, Katz, J., Nayak, K., Polychroniadou, A., and Shi, E.,
“More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting”, 2018.