Xiong (Leo) Fan

Assistant Professor, Rutgers University

Curriculum Vitae (updated November, 2021)

Email: Rutgers-related: xiong.fan AT rutgers dot edu
Other: leofanxiong AT gmail dot com

Office: Hill Center 264A

I am an Assistant Professor in the Department of Computer Science at Rutgers University. I am interested in various aspects of cryptography and its intersections with formal verification and hardware acceleration.

Previously, I was a researcher at Algorand. Before that, I was a postdoctoral researcher at University of Maryland, hosted by Prof. Jonathan Katz and Prof. Xiaodi Wu. I obtained my Ph.D. at Cornell University advised by Prof. Elaine Shi.

I am looking for self-motivated students. If you are interested in my research, please reach out!

Teaching

Manuscripts

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

  2. Hyena: Balancing Packing, Reuse, and Rotations for Encrypted Inference
    Sarabjeet Singh, Shreyas Singh, Sumanth Gudaparthi, Xiong Fan and Rajeev Balasubramonian. [paper]

Publications

  1. A Core Calculus for Equational Proofs of Cryptographic Protocols.
    Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi and Greg Morrisett.
    POPL 2023. [paper, code]

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

  3. 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.
    ACM CCS 2021. [paper, code]

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

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

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

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

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

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

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

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

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

  13. 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'20 (shadow), AsiaCCS-SBC'20, Provsec'20, '21, ACM CCS'22, Inscrypt'22.