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.

Manuscripts

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

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

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

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

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

  • Quantum-Secure Identity-Based Encryption, Revisited.
    with Kai-Min Chung, Shih-Han Hung and 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
    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.