Xiong (Leo) Fan

Cryptography Researcher, Algorand

Curriculum Vitae (updated November, 2020)

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. 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. [paper, code]

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

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

  4. A Strong Asymmetric PAKE Protocol Based on Lattices
    with Stanislaw Jarecki, Jonathan Katz and Jiayu Xu. [paper]

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

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

Publications

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

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

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

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

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

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

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

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

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

  10. 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 2020 (shadow), AsiaCCS-SBC 2020, Provsec 2020.