Xiong (Leo) Fan

Postdoctoral Researcher, University of Maryland

Curriculum Vitae (updated September, 2019)

Office: 5252 Iribe Center for Computer Science
    University of Maryland, College Park, MD
Email: xfan AT cs dot umd dot edu

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 Waston Research Center.

Research interests: Cryptography, security and formal methods.

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. Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More
    Prabhanjan Ananth, Xiong Fan and Elaine Shi.
    Asiacrypt 2019. [paper]

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

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

  5. 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]

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

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

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

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

Manuscripts

  • IPDL: A Probabilistic Dataflow Logic for Cryptography
    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]

    • Attribute-based Encryption and Formal Verification of Lattice-based Cryptography
    Ph.D. Thesis. Cornell University, Dec. 2019. [paper]

Professional Activities

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