Least Square Calibration for Peer Reviews. - Sijun Tan; Jibang Wu; Xiaohui Bei; Haifeng Xu (NeurIPS, 2021)

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. - Yongxin Zhao; Hongjian Jiang; Jin Lv; Sijun Tan; Yongjian Li (SEKE, 2021)

Encoding Induction Proof in Dafny. - Hongjian Jiang; Yongjian Li; Sijun Tan; Yongxin Zhao (TASE, 2021)

MORSE-STF: A Privacy Preserving Computation System. - Qizhi Zhang; Yuan Zhao; Lichun Li; JiaoFu Zhang; Qichao Zhang; Yashun Zhou; Dong Yin; Sijun Tan; Shan Yin (CoRR, 2021)

Least Square Calibration for Peer Review. - Sijun Tan; Jibang Wu; Xiaohui Bei; Haifeng Xu (CoRR, 2021)

CryptGPU: Fast Privacy-Preserving Machine Learning on the GPU. - Sijun Tan; Brian Knott; Yuan Tian 001; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2021)

Parameterized Design and Formal Verification of Multi-ported Memory. - Mufan Xiang; Yongjian Li; Sijun Tan; Yongxin Zhao; Yiwei Chi (ICECCS, 2022)

Secure Softmax/Sigmoid for Machine-learning Computation. - Yu Zheng 021; Qizhi Zhang; Sherman S. M. Chow; Yuxiang Peng; Sijun Tan; Lichun Li; Shan Yin (ACSAC, 2023)

MPCAuth: Multi-factor Authentication for Distributed-trust Systems. - Sijun Tan; Weikeng Chen; Ryan Deng; Raluca Ada Popa (SP, 2023)

LLoCO: Learning Long Contexts Offline. - Sijun Tan; Xiuyu Li; Shishir G. Patil; Ziyang Wu; Tianjun Zhang; Kurt Keutzer; Joseph Gonzalez 001; Raluca A. Popa (EMNLP, 2024)

Flock: A Framework for Deploying On-Demand Distributed Trust. - Darya Kaviani; Sijun Tan; Pravein Govindan Kannan; Raluca Ada Popa (IACR Cryptol. ePrint Arch., 2024)

JudgeBench: A Benchmark for Evaluating LLM-Based Judges. - Sijun Tan; Siyuan Zhuang; Kyle Montgomery; William Yuan Tang; Alejandro Cuadron; Chenguang Wang 001; Raluca A. Popa; Ion Stoica (ICLR, 2025)

Auditing Black-Box LLM APIs with a Rank-Based Uniformity Test. - Xiaoyuan Zhu; Yaowen Ye; Tianyi Qiu; Hanlin Zhu; Sijun Tan; Ajraf Mannan; Jonathan Michala; Raluca Ada Popa; Willie Neiswanger (CoRR, 2025)