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.

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

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

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

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

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

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

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

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

Manuscripts

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

  • IPDL: A Probabilistic Dataflow Logic for Cryptography
    Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova. [paper, code]

  • Multi-Input Laconic Function Evaluation
    Bo Pang, Long Chen, Xiong Fan, Qiang Tang. [paper]

Professional Activities

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