Xiong (Leo) Fan

Cryptography Researcher, Algorand

Curriculum Vitae (updated November, 2021)

Email: Algorand-related: leo.fan AT algorand.com
Other: leofanxiong AT gmail.com

I am a cryptography researcher at Algorand. I am interested in various aspects of cryptography and its intersections with formal verification and hardware acceleration.

Previously, I was a postdoctoral researcher at University of Maryland, hosted by Prof. Jonathan Katz and Prof. Xiaodi Wu. Prior to that, I obtained my Ph.D. at Cornell University advised by Prof. Elaine Shi. During my doctoral study, I have been a visiting graduate student or an intern at Simons Institute, Yahoo! Labs, Bell Labs and IBM TJ Watson Research Center.

Manuscripts

  1. Accelerating Post Quantum Cryptography with Memristor Crossbar Arrays
    Sarabjeet Singh, Xiong Fan, Ananth Krishna Prasad, Anirban Nag, Rajeev Balasubramonian, Mahdi Nazm Bojnordi and Elaine Shi. [paper]

  2. IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols
    with Joshua Gancher, Greg Morrisett, Elaine Shi and Kristina Sojakova. [paper, code]

  3. Quantum-Secure Identity-Based Encryption, Revisited.
    with Kai-Min Chung, Shih-Han Hung and Jonathan Katz. [paper]

  4. Collusion-Resistant Functional Encryption for RAMs.
    with Prabhanjan Ananth, Kai-Min Chung and Luowen Qian. [paper]

  5. Hyena: An Accelerator for Efficiently Packed Encrypted Inference.
    Sarabjeet Singh, Shreyas Singh, Summanth Gudaparthi, Xiong Fan and Rajeev Balasubramonian. [paper]

Publications

  1. EasyPQC: Verifying Post-Quantum Cryptography
    with Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu and Li Zhou.
    ACM CCS 2021. [paper, code]

  2. Puncturable Signatures and Applications in Proof-of-Stake Blockchain
    Xinyu Li, Jing Xu, Xiong Fan, Yuchen Wang and Zhenfeng Zhang.
    IEEE TIFS 2020. [paper]

  3. Multi-Input Laconic Function Evaluation
    with Bo Pang, Long Chen and Qiang Tang.
    ACISP 2020. [paper]

  4. Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More
    with Prabhanjan Ananth and Elaine Shi.
    Asiacrypt 2019. [paper]

  5. Proxy Re-Encryption and Re-Signatures from Lattices
    with Feng-Hao Liu.
    ACNS 2019. [paper]

  6. FE for Inner Products and Its Application to Decentralized ABE
    with Feng-Hao Liu and Zhedong Wang.
    PKC 2019. [paper]

  7. Symbolic Proofs for Lattice-Based Cryptography
    with Gilles Barthe, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme and Elaine Shi.
    ACM CCS 2018. [paper, code]

  8. Making Public Key Functional Encryption Function Private, Distributively
    with Qiang Tang.
    PKC 2018. [paper]

  9. Compact Inner Product Encryption from LWE
    with Mingsheng Wang and Zhedong Wang.
    ICICS 2017. [paper]

  10. Hashing Garbled Circuits for Free
    with Chaya Ganesh and Vladimir Kolesnikov.
    Eurocrypt 2017. [paper]

  11. Deniable Attribute Based Encryption for Branching Programs from LWE
    With Daniel Apon and Feng-Hao Liu.
    TCC 2016. [paper]

Professional Activities

  • Program committee member: IEEE S&P'20 (shadow), AsiaCCS-SBC'20, Provsec'20, '21, ACM CCS'22.