David Galindo

SoK: A comprehensive analysis of game-based ballot privacy definitions — Oakland 2015

David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi

SoK: Verifiability Notions for E-Voting Protocols — Oakland 2016

Véronique Cortier, David Galindo, Ralf Kuesters, Johannes Mueller, Tomasz Truderung

SoK: TEE-assisted Confidential Smart Contract — PETS 2022

Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan


Systematizing SoK logo Systematizing SoK
David Evans · University of Virginia