Sijun Tan

According to our database, Sijun Tan authored at least 9 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MPCAuth: Multi-factor Authentication for Distributed-trust Systems.

Sijun Tan, Weikeng Chen, Ryan Deng, Raluca Ada Popa

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Secure Softmax/Sigmoid for Machine-learning Computation.

Yu Zheng, Qizhi Zhang, Sherman S. M. Chow, Yuxiang Peng, Sijun Tan, Lichun Li, Shan Yin

Proceedings of the Annual Computer Security Applications Conference, 2023

2022

Parameterized Design and Formal Verification of Multi-ported Memory.

Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021

CryptGPU: Fast Privacy-Preserving Machine Learning on the GPU.

Sijun Tan, Brian Knott, Yuan Tian, David J. Wu

IACR Cryptol. ePrint Arch., 2021

Least Square Calibration for Peer Review.

Sijun Tan, Jibang Wu, Xiaohui Bei, Haifeng Xu

CoRR, 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

Encoding Induction Proof in Dafny.

Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Least Square Calibration for Peer Reviews.

Sijun Tan, Jibang Wu, Xiaohui Bei, Haifeng Xu

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021