Xiong Fan

According to our database, Xiong Fan authored at least 26 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Core Calculus for Equational Proofs of Cryptographic Protocols.

Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett

Proc. ACM Program. Lang., January, 2023

XCRYPT: Accelerating Lattice-Based Cryptography With Memristor Crossbar Arrays.

Sarabjeet Singh, Xiong Fan, Ananth Krishna Prasad, Lin Jia, Anirban Nag, Rajeev Balasubramonian, Mahdi Nazm Bojnordi, Elaine Shi

IEEE Micro, 2023

Research on Dynamic Scheduling Algorithm for Emergency Repair of Power Grid Disaster Relief Based on Improved Q-Learning.

Jun Yan, Lei Wang, Weibing Weng, Xiong Fan, Cong Lin, Wanpeng Li

Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, 2023

2022

Collusion-Resistant Functional Encryption for RAMs.

Prabhanjan Ananth, Kai-Min Chung, Xiong Fan, Luowen Qian

IACR Cryptol. ePrint Arch., 2022

2021

IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.

Greg Morrisett, Elaine Shi, Kristina Sojakova, Xiong Fan, Joshua Gancher

IACR Cryptol. ePrint Arch., 2021

EasyPQC: Verifying Post-Quantum Cryptography.

Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou

IACR Cryptol. ePrint Arch., 2021

2020

Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols.

Xinyu Li, Jing Xu, Xiong Fan, Yuchen Wang, Zhenfeng Zhang

IEEE Trans. Inf. Forensics Secur., 2020

Multi-input Laconic Function Evaluation.

Bo Pang, Long Chen, Xiong Fan, Qiang Tang

Proceedings of the Information Security and Privacy - 25th Australasian Conference, 2020

2019

Attribute-based Encryptions and Formal Verification of Lattice-based Cryptography.

Xiong Fan

PhD thesis, 2019

FE for Inner Products and Its Application to Decentralized ABE.

Zhedong Wang, Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2019

IPDL: A Probabilistic Dataflow Logic for Cryptography.

Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, Kristina Sojakova

IACR Cryptol. ePrint Arch., 2019

Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocol.

Xinyu Li, Jing Xu, Xiong Fan, Yuchen Wang, Zhenfeng Zhang

CoRR, 2019

Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More.

Prabhanjan Ananth, Xiong Fan, Elaine Shi

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

2018

Making Public Key Functional Encryption Function Private, Distributively.

Xiong Fan, Qiang Tang

IACR Cryptol. ePrint Arch., 2018

Symbolic Proofs for Lattice-Based Cryptography.

Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi

IACR Cryptol. ePrint Arch., 2018

Attribute Based Encryption for RAMs from LWE.

Prabhanjan Ananth, Xiong Fan

IACR Cryptol. ePrint Arch., 2018

2017

Proxy Re-Encryption and Re-Signatures from Lattices.

Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2017

Hashing Garbled Circuits for Free.

Xiong Fan, Chaya Ganesh, Vladimir Kolesnikov

IACR Cryptol. ePrint Arch., 2017

Vector Encoding over Lattices and Its Applications.

Daniel Apon, Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2017

Compact Inner Product Encryption from LWE.

Zhedong Wang, Xiong Fan, Mingsheng Wang

Proceedings of the Information and Communications Security - 19th International Conference, 2017

2016

Various Proxy Re-Encryption Schemes from Lattices.

Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2016

Short and Adjustable Signatures.

Xiong Fan, Juan A. Garay, Payman Mohassel

IACR Cryptol. ePrint Arch., 2016

Deniable Attribute Based Encryption for Branching Programs from LWE.

Daniel Apon, Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2016

Fully-Secure Lattice-Based IBE as Compact as PKE.

Daniel Apon, Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2016

2015

Bi-Deniable Inner Product Encryption from LWE.

Daniel Apon, Xiong Fan, Feng-Hao Liu

IACR Cryptol. ePrint Arch., 2015

2014

Adaptively Secure Fully Homomorphic Signatures Based on Lattices.

Xavier Boyen, Xiong Fan, Elaine Shi

IACR Cryptol. ePrint Arch., 2014