Xiong (Leo) Fan

Postdoctoral Researcher, University of Maryland

Curriculum Vitae (updated November, 2020)

Office: 5252 Iribe Center for Computer Science
    University of Maryland, College Park, MD
Email: leofanxiong AT gmail dot com

I am a postdoctoral researcher at University of Maryland, hosted by Prof. Jonathan Katz and Prof. Xiaodi Wu.

I obtained my Ph.D. from Cornell University and my advisor was 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.

Research interests: Cryptography, security and formal methods.

I am currently on the job market.

Manuscripts

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

  • Functional Encryption for RAM Computations: Beyond Single-Key Setting
    Prabhanjan Ananth, Kai-Min Chung, Xiong Fan, Luowen Qian. [paper]

  • A Strong Asymmetric PAKE Protocol Based on Lattices
    Xiong Fan, Stanislaw Jarecki, Jonathan Katz, Jiayu Xu. [paper]

  • Quantum-Secure Identity-Based Encryption, Revisited.
    Kai-Min Chung, Xiong Fan, Shih-Han Hung, Jonathan Katz. [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
    Bo Pang, Long Chen, Xiong Fan and Qiang Tang.
    ACISP 2020. [paper]

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

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

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

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

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

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

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

  10. Deniable Attribute Based Encryption for Branching Programs from LWE
    Daniel Apon, Xiong Fan and Feng-Hao Liu.
    TCC 2016. [paper]

Professional Activities

  • Program committee member: IEEE S&P 2020 (shadow), AsiaCCS-SBC 2020, Provsec 2020.