PyH2: Using PyMTL3 to Create Productive and Open-Source Hardware Testing Methodologies. - Shunning Jiang; Yanghui Ou; Peitian Pan; Kaishuo Cheng; Yixiao Zhang; Christopher Batten (IEEE Des. Test, 2021)

Increasing Adversarial Uncertainty to Scale Private Similarity Testing. - Yiqing Hua; Armin Namavari; Kaishuo Cheng; Mor Naaman; Thomas Ristenpart (USENIX Security Symposium, 2022)

Adaptive Security for Constrained PRFs. - Kaishuo Cheng; Joseph Jaeger (CRYPTO (5), 2025)

Revisiting the Security and Privacy of FIDO2. - Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível (IACR Cryptol. ePrint Arch., 2025)

Privacy and Security of FIDO2 Revisited. - Manuel Barbosa; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível (Proc. Priv. Enhancing Technol., 2025)