6
Publications
109
Citations
6
H-Index
2012
Active since
Affiliations
Xiong Fan is an author at University of Maryland, College Park specializing in engineering, data security, and cryptography.
Top concepts
EngineeringCryptographyData SecurityData PrivacyComputer ScienceInformation SecurityVerificationFormal MethodsFormal VerificationBlockchain
Publications per year
2012–2020
6
6
Symbolic Proofs for Lattice-Based Cryptography
Gilles Barthe, Xiong Fan, Joshua Gancher et al. · 2018 · 12 citations · Full text
Rows per page
1–5 of 6