24
Publications
725
Citations
16
H-Index
2002
Active since
David Galindo is an author at University of Birmingham specializing in data security, engineering, and data privacy.
Top concepts
EngineeringCryptographyData PrivacyData SecurityInformation SecurityComputer ScienceFormal VerificationFormal MethodsVerificationBlockchain
Publications per year
2002–2022
24
24
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions
David Bernhard, Véronique Cortier, David Galindo et al. · 2015 · 94 citations · Full text
SoK: Verifiability Notions for E-Voting Protocols
Véronique Cortier, David Galindo, Ralf Küsters et al. · 2016 · 87 citations · Full text
Secure Multi-party Computation, Engineering, Verifiability Notions +14
Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer et al. · 2016 · 67 citations · Full text
Rows per page
1–5 of 24