宋一凡
助理教授
密码学
Biography
I am an Assistant Professor at the Institute for Interdisciplinary Information Sciences(IIIS) at Tsinghua University. Before joining Tsinghua, I received my Ph.D. degree from Carnegie Mellon University (2017 - 2022), fortunately advised by Prof. Vipul Goyal. I received my bachelor’s degree in Yao Class at Tsinghua University (2013 - 2017).
My research interest is theoretic cryptography and its application in the real world, especially the efficient multi-party computation.
If you are interested in working with me, you can always reach me by email: yfsong1995 at gmail.com
Education
·Ph.D. of Computer Science
Carnegie Mellon University, School of Computer Science (2017 - 2022)
·Bachelor of Engineering, Computer Science
Tsinghua University, IIIS (2013 - 2017)
Publications
2025:
·Protecting Computations Against Continuous Bounded-Communication Leakage
Yuval Ishai, Yifan Song
STOC 2025
·Honest Majority MPC with \tilde{O}(|C|) Communication in Minicrypt
Yifan Song, Xiaxi Ye
EUROCRYPT 2025
2024:
·Dishonest Majority Constant-Round MPC with Linear Communication from DDH
Vipul Goyal, Junru Li, Ankit Kumar Misra, Rafail Ostrovsky, Yifan Song, Chenkai Weng
ASIACRYPT 2024
·Perfectly-Secure Multiparty Computation with Linear Communication Complexity over Any Modulus
Daniel Escudero, Yifan Song, Wenhao Wang
ASIACRYPT 2024
·Perfectly-Secure MPC with Constant Online Communication Complexity
Yifan Song, Xiaxi Ye
TCC 2024
·Sublinear Distributed Product Checks on Replicated Secret-Shared Data over Z2k Without Ring Extensions
Yun Li, Daniel Escudero, Yufei Duan, Zhicong Huang, Cheng Hong, Chao Zhang, Yifan Song
CCS 2024
·Dishonest Majority Multi-Verifier Zero-Knowledge Proofs for Any Constant Fraction of Corrupted Verifiers
Daniel Escudero, Antigoni Polychroniadou, Yifan Song, Chenkai Weng
CCS 2024
·Linear-Communication Asynchronous Complete Secret Sharing with Optimal Resilience
Xiaoyu Ji, Junru Li, Yifan Song
CRYPTO 2024
·Towards Achieving Asynchronous MPC with Linear Communication and Optimal Resilience
Vipul Goyal, Chen-Da Liu-Zhang, Yifan Song
CRYPTO 2024
·Leakage-Tolerant Circuits
Yuval Ishai, Yifan Song
EUROCRYPT 2024
·GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols
Xingyu Xie, Yifei Li, Wei Zhang, Tuowei Wang, Shizhen Xu, Jun Zhu, Yifan Song
S&P 2024
2023:
·Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference
Yun Li, Yufei Duan, Zhicong Huang, Cheng Hong, Chao Zhang, Yifan Song
USENIX Security 2023
·SuperPack: Dishonest Majority MPC with Constant Online Communication
Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song, Chenkai Weng
EUROCRYPT 2023
2022:
·TurboPack: Honest Majority MPC with Constant Online Communication
Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song
CCS 2022
·Sharing Transformation and Dishonest Majority MPC with Packed Secret Sharing
Vipul Goyal, Antigoni Polychroniadou, Yifan Song
CRYPTO 2022
·Tight Bounds on the Randomness Complexity of Secure Multiparty Computation
Vipul Goyal, Yuval Ishai, Yifan Song
CRYPTO 2022
·Storing and Retrieving Secrets on a Blockchain
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
PKC 2022
·Private Circuits with Quasilinear Randomness
Vipul Goyal, Yuval Ishai, Yifan Song
EUROCRYPT 2022
2021:
·ACCO: Algebraic Computation with Comparison
Xiaoqi Duan, Vipul Goyal, Hanjun Li, Rafail Ostrovsky, Antigoni Polychroniadou, Yifan Song
ACM Cloud Computing Security Workshop 2021 (CCSW 2021), accepted talk in Crypto 2020 PPML
·Blockchains Enable Non-Interactive MPC
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
TCC 2021
·Traceable Secret Sharing
Vipul Goyal, Yifan Song, Akshayaram Srinivasan
CRYPTO 2021
·ATLAS: Efficient and Scalable MPC in the Honest Majority Setting
Vipul Goyal, Hanjun Li, Rafail Ostrovsky, Antigoni Polychroniadou, Yifan Song
CRYPTO 2021
·Unconditional Communication-Efficient MPC via Hall’s Marriage Theorem
Vipul Goyal, Antigoni Polychroniadou, Yifan Song
CRYPTO 2021
·Constant-overhead Unconditional Secure Multiparty Computation over Binary Fields
Antigoni Polychroniadou, Yifan Song
EUROCRYPT 2021
2020:
·Guaranteed Output Delivery Comes Free in Honest-Majority MPC
Vipul Goyal, Yifan Song, Chenzhi Zhu
CRYPTO 2020
·Malicious Security Comes Free in Honest-Majority MPC
Vipul Goyal, Yifan Song
Merged with the CRYPTO 2020 paper above
2019:
·Communication-Efficient Unconditional MPC with Guaranteed Output Delivery
Vipul Goyal, Yanyi Liu, Yifan Song
CRYPTO 2019
·Correlated-Source Extractors and Cryptography with Correlated Random Tapes
Vipul Goyal, Yifan Song
EUROCRYPT 2019
2017:
·Revealing Encryption for Partial Ordering
Helene Haagh, Yue Ji, Chenxing Li, Claudio Orlandi, Yifan Song
IMACC 2017
Teaching
·Cryptographic Protocols: Zero-Knowledge Proofs and MPC, Fall 2023
·Secure Multiparty Computation: Theory and Application, Spring 2023, 2024
·TA for 15-503/15-827 Introduction to Cryptography, Fall 2018
·TA for 15-356/15-856 Introduction to Cryptography, Fall 2019
Experience
·Research Intern, NTT Research (05/2021 - 08/2021)
·Research Intern, J.P. Morgan (06/2020 - 08/2020)
·Visiting Scholar, Aarhus University (01/2016 - 06/2016)
Program Committee
EUROCRYPT 2023, PKC 2024, ASIACRYPT 2024
Fellowships
2019 - 2020 Cylab Presidential Fellowship
2021 - 2022 Cylab Presidential Fellowship
