DeepSEA: a language for certified system software. - Vilhelm Sjöberg; Yuyang Sang; Shu-Chun Weng; Zhong Shao 001 (Proc. ACM Program. Lang., 2019)

Ou: Automating the Parallelization of Zero-Knowledge Protocols. - Yuyang Sang; Ning Luo; Samuel Judson; Ben Chaimberg; Timos Antonopoulos; Xiao Wang 012; Ruzica Piskac; Zhong Shao 001 (IACR Cryptol. ePrint Arch., 2023)

Bidirectional quantum teleportation in multi-hop communication network. - Zhihua Zhang; Yuyang Sang (Quantum Inf. Process., 2023)