David Galindo

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 25

Top Topics

Public Key Cryptosystem

Provably Secure

Signature Scheme

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Qin Wang, Rujia Li, Qi Wang, David Galindo, Shiping Chen, Yang Xiang
Transparent Registration-Based Encryption through Blockchain. Distributed Ledger Technol. Res. Pract. 2 (1) (2023)
Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
SoK: TEE-Assisted Confidential Smart Contract. Proc. Priv. Enhancing Technol. 2022 (3) (2022)
David Galindo, Jia Liu
Robust Subgroup Multi-signatures for Consensus. CT-RSA (2022)
Rujia Li, Qin Wang, Qi Wang, David Galindo
How Do Smart Contracts Benefit Security Protocols? CoRR (2022)
Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
SoK: TEE-assisted Confidential Smart Contract. CoRR (2022)
David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. EuroS&P (2021)
David Galindo, Jia Liu, Chris McMahon Stone, Mihai Ordean
SoK: Untangling File-based Encryption on Mobile Devices. CoRR (2021)
Rujia Li, Qin Wang, Xinrui Zhang, Qi Wang, David Galindo, Yang Xiang
An Offline Delegatable Cryptocurrency System. CoRR (2021)
Rujia Li, Qin Wang, Xinrui Zhang, Qi Wang, David Galindo, Yang Xiang
An Offline Delegatable Cryptocurrency System. IEEE ICBC (2021)
David Galindo, Jia Liu
Robust Subgroup Multi-Signatures for Consensus. IACR Cryptol. ePrint Arch. 2020 (2020)
Rujia Li, Qin Wang, Feng Liu, Qi Wang, David Galindo
An Accountable Decryption System Based on Privacy-Preserving Smart Contracts. ISC (2020)
David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong
Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. IACR Cryptol. ePrint Arch. 2020 (2020)
Marcin Abram, David Galindo, Daniel Honerkamp, Jonathan Ward, Jin-Mann Wong
Democratising blockchain: A minimal agency consensus model. CoRR (2020)
Rujia Li, David Galindo, Qi Wang
Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts. DPM/CBT@ESORICS (2019)
Mihai Ordean, Mark Ryan, David Galindo
CAOS: Concurrent-Access Obfuscated Store. SACMAT (2019)
Rujia Li, David Galindo, Qi Wang
Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts. CoRR (2019)
Véronique Cortier, David Galindo, Mathieu Turuani
A Formal Analysis of the Neuchatel e-Voting Protocol. EuroS&P (2018)
Mihai Ordean, Mark Ryan, David Galindo
CAOS: Concurrent-Access Obfuscated Store. CoRR (2017)
Özgür Dagdelen, David Galindo, Pascal Véron, Sidi Mohamed El Yousfi Alaoui, Pierre-Louis Cayrel
Extended security arguments for signature schemes. Des. Codes Cryptogr. 78 (2) (2016)
Jordi Cucurull, Sandra Guasch, David Galindo
A Javascript Voting Client for Remote Online Voting. ICETE (Selected Papers) (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Jordi Cucurull, Sandra Guasch, David Galindo
Transitioning to a Javascript Voting Client for Remote Online Voting. SECRYPT (2016)
David Galindo, Johann Großschädl, Zhe Liu, Praveen Kumar Vadnala, Srinivas Vivek
Implementation of a leakage-resilient ElGamal key encapsulation mechanism. J. Cryptogr. Eng. 6 (3) (2016)
Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, David Galindo
BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. CCS (2016)
David Galindo
Compact hierarchical identity-based encryption based on a harder decisional problem. Int. J. Comput. Math. 92 (3) (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
A comprehensive analysis of game-based ballot privacy definitions. IACR Cryptol. ePrint Arch. 2015 (2015)
David Galindo, Sandra Guasch, Jordi Puiggali
2015 Neuchâtel's Cast-as-Intended Verification Mechanism. VoteID (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. IEEE Symposium on Security and Privacy (2015)
Véronique Cortier, Georg Fuchsbauer, David Galindo
BeleniosRF: A Strongly Receipt-Free Electronic Voting Scheme. IACR Cryptol. ePrint Arch. 2015 (2015)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Election Verifiability for Helios under Weaker Trust Assumptions. ESORICS (2) (2014)
David Galindo, Srinivas Vivek
Limits of a conjecture on a leakage-resilient cryptosystem. Inf. Process. Lett. 114 (4) (2014)
David Galindo, Johann Großschädl, Zhe Liu, Praveen Kumar Vadnala, Srinivas Vivek
Implementation and Evaluation of a Leakage-Resilient ElGamal Key Encapsulation Mechanism. IACR Cryptol. ePrint Arch. 2014 (2014)
David Galindo
A note on an IND-CCA2 secure Paillier-based cryptosystem. Inf. Process. Lett. 113 (22-24) (2013)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
A generic construction for voting correctness at minimum cost - Application to Helios. IACR Cryptol. ePrint Arch. 2013 (2013)
David Galindo, Srinivas Vivek
A Leakage-Resilient Pairing-Based Variant of the Schnorr Signature Scheme. IMACC (2013)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Distributed ElGamal à la Pedersen: Application to Helios. WPES (2013)
David Galindo, Srinivas Vivek
A Practical Leakage-Resilient Signature Scheme in the Generic Group Model. Selected Areas in Cryptography (2012)
Sidi Mohamed El Yousfi Alaoui, Özgür Dagdelen, Pascal Véron, David Galindo, Pierre-Louis Cayrel
Extended Security Arguments for Signature Schemes. AFRICACRYPT (2012)
David Galindo, Javier Herranz, Jorge L. Villar
Identity-Based Encryption with Master Key-Dependent Message Security and Leakage-Resilience. ESORICS (2012)
David Galindo, Javier Herranz, Jorge Luis Villar
Identity-Based Encryption with Master Key-Dependent Message Security and Applications. IACR Cryptol. ePrint Arch. 2012 (2012)
David Galindo, Rodrigo Roman, Javier López
On the energy cost of authenticated key agreement in wireless sensor networks. Wirel. Commun. Mob. Comput. 12 (1) (2012)
Jaap-Henk Hoepman, David Galindo
Non-interactive distributed encryption: a new primitive for revocable privacy. WPES (2011)
David Galindo, Benoît Libert, Marc Fischlin, Georg Fuchsbauer, Anja Lehmann, Mark Manulis, Dominique Schröder
Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions. AFRICACRYPT (2010)
David Galindo
Chosen-Ciphertext Secure Identity-Based Encryption from Computational Bilinear Diffie-Hellman. Pairing (2010)
David Galindo, Javier Herranz, Eike Kiltz
On the generic construction of identity-based signatures with additional properties. Adv. Math. Commun. 4 (4) (2010)
Pierre-Louis Cayrel, Philippe Gaborit, David Galindo, Marc Girault
Improved identity-based identification using correcting codes CoRR (2009)
David Galindo
Breaking and Repairing Damgård et al. Public Key Encryption Scheme with Non-interactive Opening. CT-RSA (2009)
David Galindo, Flavio D. Garcia
A Schnorr-Like Lightweight Identity-Based Signature Scheme. AFRICACRYPT (2009)
Eike Kiltz, David Galindo
Direct chosen-ciphertext secure identity-based key encapsulation without random oracles. Theor. Comput. Sci. 410 (47-49) (2009)
David Galindo, Rodrigo Roman, Javier López
A Killer Application for Pairings: Authenticated Key Establishment in Underwater Wireless Sensor Networks. CANS (2008)
David Galindo, Paz Morillo, Carla Ràfols
Improved certificate-based encryption in the standard model. J. Syst. Softw. 81 (7) (2008)
David Galindo, Javier Herranz
On the security of public key cryptosystems with a double decryption mechanism. Inf. Process. Lett. 108 (5) (2008)
Joonsang Baek, David Galindo, Willy Susilo, Jianying Zhou
Constructing Strong KEM from Weak KEM (or How to Revive the KEM/DEM Framework). SCN (2008)
David Galindo, Flavio D. Garcia, Peter van Rossum
Computational Soundness of Non-Malleable Commitments. ISPEC (2008)
Eike Kiltz, David Galindo
Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation Without Random Oracles. ACISP (2006)
David Galindo, Eike Kiltz
Chosen-Ciphertext Secure Threshold Identity-Based Key Encapsulation Without Random Oracles. SCN (2006)
David Galindo, Javier Herranz
A Generic Construction for Token-Controlled Public Key Encryption. Financial Cryptography (2006)
David Galindo, Javier Herranz, Eike Kiltz
On the Generic Construction of Identity-Based Signatures with Additional Properties. ASIACRYPT (2006)
David Galindo
A Separation Between Selective and Full-Identity Security Notions for Identity-Based Encryption. ICCSA (3) (2006)
David Galindo, Javier Herranz, Eike Kiltz
On the Generic Construction of Identity-Based Signatures with Additional Properties. IACR Cryptol. ePrint Arch. 2006 (2006)
Ricardo Corin, David Galindo, Jaap-Henk Hoepman
Securing Data Accountability in Decentralized Systems. OTM Workshops (1) (2006)
David Galindo, Paz Morillo, Carla Ràfols
Breaking Yum and Lee Generic Constructions of Certificate-Less and Certificate-Based Encryption Schemes. EuroPKI (2006)
Eike Kiltz, David Galindo
Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation without Random Oracles. IACR Cryptol. ePrint Arch. 2006 (2006)
Nuttapong Attrapadung, Yang Cui, David Galindo, Goichiro Hanaoka, Ichiro Hasuo, Hideki Imai, Kanta Matsuura, Peng Yang, Rui Zhang
Relations Among Notions of Security for Identity Based Encryption Schemes. LATIN (2006)
David Galindo
Boneh-Franklin Identity Based Encryption Revisited. ICALP (2005)
David Galindo, Ichiro Hasuo
Security Notions for Identity Based Encryption. IACR Cryptol. ePrint Arch. 2005 (2005)
David Galindo
Boneh-Franklin Identity Based Encryption Revisited. IACR Cryptol. ePrint Arch. 2005 (2005)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar
Fujisaki-Okamoto hybrid encryption revisited. Int. J. Inf. Sec. 4 (4) (2005)
David Galindo, Sebastià Martín Molleví, Tsuyoshi Takagi, Jorge Luis Villar
A Provably Secure Elliptic Curve Scheme with Fast Encryption. INDOCRYPT (2004)
David Galindo, Sebastià Martín Molleví, Jorge L. Villar
Evaluating elliptic curve based KEMs in the light of pairings. IACR Cryptol. ePrint Arch. 2004 (2004)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar
A Practical Public Key Cryptosystem from Paillier and Rabin Schemes. Public Key Cryptography (2003)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge L. Villar
An IND-CPA cryptosystem from Demytko's primitive. ITW (2003)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge L. Villar
Fujisaki-Okamoto IND-CCA hybrid encryption revisited. IACR Cryptol. ePrint Arch. 2003 (2003)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar
Easy Verifiable Primitives and Practical Public Key Cryptosystems. ISC (2003)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge L. Villar
A semantically secure elliptic curve RSA scheme with small expansion factor. IACR Cryptol. ePrint Arch. 2002 (2002)
David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge L. Villar
An efficient semantically secure elliptic curve cryptosystem based on KMOV. IACR Cryptol. ePrint Arch. 2002 (2002)