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

I am a fifth year Ph.D. student at Carnegie Mellon University (2017 - Present), fortunately advised by Prof. [Vipul Goyal](https://www.cs.cmu.edu/~goyal/). My research interest is theoretic cryptography and its application in the real world, especially the efficient multi-party computation. This summer, I am an intern at NTT Research, Sunnyvale and work with Prof. [Vipul Goyal](https://www.cs.cmu.edu/~goyal/) on the communication-efficient multi-party computation. In Summer 2020, I was an intern in the AI Research team at J.P. Morgan, New York and worked with [Antigoni Polychroniadou](https://antigonip.github.io) on the communication-efficient multi-party computation. I received my bachelor's degree in Yao Class at Tsinghua University (2013 - 2017). During my undergraduate, I visited Aarhus University in Spring 2016 and worked with [Claudio Orlandi](https://users-cs.au.dk/orlandi/) on order revealing encryption.

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

2024:

  • 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
    Eprint

  • Towards Achieving Asynchronous MPC with Linear Communication and Optimal Resilience
    Vipul Goyal, Chen-Da Liu-Zhang, Yifan Song
    CRYPTO 2024
    Eprint

  • Leakage-Tolerant Circuits
    Yuval Ishai, Yifan Song
    EUROCRYPT 2024
    Eprint

  • 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
    Eprint

  • SuperPack: Dishonest Majority MPC with Constant Online Communication
    Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song, Chenkai Weng
    EUROCRYPT 2023
    Eprint

2022:

  • TurboPack: Honest Majority MPC with Constant Online Communication
    Daniel Escudero, Vipul Goyal, Antigoni Polychroniadou, Yifan Song
    CCS 2022
    Eprint

  • Sharing Transformation and Dishonest Majority MPC with Packed Secret Sharing
    Vipul Goyal, Antigoni Polychroniadou, Yifan Song
    CRYPTO 2022
    Eprint

  • Tight Bounds on the Randomness Complexity of Secure Multiparty Computation
    Vipul Goyal, Yuval Ishai, Yifan Song
    CRYPTO 2022
    Eprint

  • Storing and Retrieving Secrets on a Blockchain
    Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
    PKC 2022
    Eprint

  • Private Circuits with Quasilinear Randomness
    Vipul Goyal, Yuval Ishai, Yifan Song
    EUROCRYPT 2022
    Eprint

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
    Eprint

  • Traceable Secret Sharing
    Vipul Goyal, Yifan Song, Akshayaram Srinivasan
    CRYPTO 2021
    Eprint

  • ATLAS: Efficient and Scalable MPC in the Honest Majority Setting
    Vipul Goyal, Hanjun Li, Rafail Ostrovsky, Antigoni Polychroniadou, Yifan Song
    CRYPTO 2021
    Eprint

  • Unconditional Communication-Efficient MPC via Hall’s Marriage Theorem
    Vipul Goyal, Antigoni Polychroniadou, Yifan Song
    CRYPTO 2021
    Eprint

  • Constant-overhead Unconditional Secure Multiparty Computation over Binary Fields
    Antigoni Polychroniadou, Yifan Song
    EUROCRYPT 2021
    Eprint

2020:

  • Guaranteed Output Delivery Comes Free in Honest-Majority MPC
    Vipul Goyal, Yifan Song, Chenzhi Zhu
    CRYPTO 2020
    Eprint

  • Malicious Security Comes Free in Honest-Majority MPC
    Vipul Goyal, Yifan Song
    Merged with the CRYPTO 2020 paper above
    Eprint

2019:

  • Communication-Efficient Unconditional MPC with Guaranteed Output Delivery
    Vipul Goyal, Yanyi Liu, Yifan Song
    CRYPTO 2019
    Eprint

  • Correlated-Source Extractors and Cryptography with Correlated Random Tapes
    Vipul Goyal, Yifan Song
    EUROCRYPT 2019
    Eprint

2017:

  • Revealing Encryption for Partial Ordering
    Helene Haagh, Yue Ji, Chenxing Li, Claudio Orlandi, Yifan Song
    IMACC 2017
    Eprint

Teaching

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

CRYPTO (2022), CRYPTO (2021), ICALP (2021), ITC (2021), STOC (2021), Eurocrypt (2020), TCC (2019)

Fellowships

2019 - 2020 Cylab Presidential Fellowship

2021 - 2022 Cylab Presidential Fellowship