An efficient semantically secure elliptic curve cryptosystem based on KMOV. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge L. Villar (IACR Cryptol. ePrint Arch., 2002)

A semantically secure elliptic curve RSA scheme with small expansion factor. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge L. Villar (IACR Cryptol. ePrint Arch., 2002)

Easy Verifiable Primitives and Practical Public Key Cryptosystems. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge Luis Villar (ISC, 2003)

An IND-CPA cryptosystem from Demytko's primitive. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge L. Villar (ITW, 2003)

A Practical Public Key Cryptosystem from Paillier and Rabin Schemes. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge Luis Villar (Public Key Cryptography, 2003)

Fujisaki-Okamoto IND-CCA hybrid encryption revisited. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge L. Villar (IACR Cryptol. ePrint Arch., 2003)

A Provably Secure Elliptic Curve Scheme with Fast Encryption. - David Galindo; Sebastià Martín Molleví; Tsuyoshi Takagi; Jorge Luis Villar (INDOCRYPT, 2004)

Evaluating elliptic curve based KEMs in the light of pairings. - David Galindo; Sebastià Martín Molleví; Jorge L. Villar (IACR Cryptol. ePrint Arch., 2004)

Boneh-Franklin Identity Based Encryption Revisited. - David Galindo (IACR Cryptol. ePrint Arch., 2005)

Security Notions for Identity Based Encryption. - David Galindo; Ichiro Hasuo (IACR Cryptol. ePrint Arch., 2005)

Fujisaki-Okamoto hybrid encryption revisited. - David Galindo; Sebastià Martín Molleví; Paz Morillo; Jorge Luis Villar (Int. J. Inf. Sec., 2005)

Breaking Yum and Lee Generic Constructions of Certificate-Less and Certificate-Based Encryption Schemes. - David Galindo; Paz Morillo; Carla Ràfols (EuroPKI, 2006)

A Generic Construction for Token-Controlled Public Key Encryption. - David Galindo; Javier Herranz (Financial Cryptography, 2006)

A Separation Between Selective and Full-Identity Security Notions for Identity-Based Encryption. - David Galindo (ICCSA (3), 2006)

Relations Among Notions of Security for Identity Based Encryption Schemes. - Nuttapong Attrapadung; Yang Cui 001; David Galindo; Goichiro Hanaoka; Ichiro Hasuo; Hideki Imai; Kanta Matsuura; Peng Yang 002; Rui Zhang 002 (LATIN, 2006)

Securing Data Accountability in Decentralized Systems. - Ricardo Corin; David Galindo; Jaap-Henk Hoepman (OTM Workshops (1), 2006)

Chosen-Ciphertext Secure Threshold Identity-Based Key Encapsulation Without Random Oracles. - David Galindo; Eike Kiltz (SCN, 2006)

A Killer Application for Pairings: Authenticated Key Establishment in Underwater Wireless Sensor Networks. - David Galindo; Rodrigo Roman; Javier López 001 (CANS, 2008)

Computational Soundness of Non-Malleable Commitments. - David Galindo; Flavio D. Garcia; Peter van Rossum (ISPEC, 2008)

Constructing Strong KEM from Weak KEM (or How to Revive the KEM/DEM Framework). - Joonsang Baek; David Galindo; Willy Susilo; Jianying Zhou 001 (SCN, 2008)

On the security of public key cryptosystems with a double decryption mechanism. - David Galindo; Javier Herranz (Inf. Process. Lett., 2008)

Improved certificate-based encryption in the standard model. - David Galindo; Paz Morillo; Carla Ràfols (J. Syst. Softw., 2008)

A Schnorr-Like Lightweight Identity-Based Signature Scheme. - David Galindo; Flavio D. Garcia (AFRICACRYPT, 2009)

Breaking and Repairing Damgård et al. Public Key Encryption Scheme with Non-interactive Opening. - David Galindo (CT-RSA, 2009)

Improved identity-based identification using correcting codes - Pierre-Louis Cayrel; Philippe Gaborit; David Galindo; Marc Girault (CoRR, 2009)

Direct chosen-ciphertext secure identity-based key encapsulation without random oracles. - Eike Kiltz; David Galindo (Theor. Comput. Sci., 2009)

Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions. - David Galindo; Benoît Libert; Marc Fischlin; Georg Fuchsbauer; Anja Lehmann; Mark Manulis; Dominique Schröder (AFRICACRYPT, 2010)

Chosen-Ciphertext Secure Identity-Based Encryption from Computational Bilinear Diffie-Hellman. - David Galindo (Pairing, 2010)

On the generic construction of identity-based signatures with additional properties. - David Galindo; Javier Herranz; Eike Kiltz (Adv. Math. Commun., 2010)

Non-interactive distributed encryption: a new primitive for revocable privacy. - Jaap-Henk Hoepman; David Galindo (WPES, 2011)

Identity-Based Encryption with Master Key-Dependent Message Security and Leakage-Resilience. - David Galindo; Javier Herranz; Jorge L. Villar (ESORICS, 2012)

A Practical Leakage-Resilient Signature Scheme in the Generic Group Model. - David Galindo; Srinivas Vivek 001 (Selected Areas in Cryptography, 2012)

Identity-Based Encryption with Master Key-Dependent Message Security and Applications. - David Galindo; Javier Herranz; Jorge Luis Villar (IACR Cryptol. ePrint Arch., 2012)

On the energy cost of authenticated key agreement in wireless sensor networks. - David Galindo; Rodrigo Roman; Javier López 001 (Wirel. Commun. Mob. Comput., 2012)

A Leakage-Resilient Pairing-Based Variant of the Schnorr Signature Scheme. - David Galindo; Srinivas Vivek 001 (IMACC, 2013)

Distributed ElGamal à la Pedersen: Application to Helios. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (WPES, 2013)

A generic construction for voting correctness at minimum cost - Application to Helios. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (IACR Cryptol. ePrint Arch., 2013)

A note on an IND-CCA2 secure Paillier-based cryptosystem. - David Galindo (Inf. Process. Lett., 2013)

Election Verifiability for Helios under Weaker Trust Assumptions. - Véronique Cortier; David Galindo; Stéphane Glondu; Malika Izabachène (ESORICS (2), 2014)

Implementation and Evaluation of a Leakage-Resilient ElGamal Key Encapsulation Mechanism. - David Galindo; Johann Großschädl; Zhe Liu 001; Praveen Kumar Vadnala; Srinivas Vivek 001 (IACR Cryptol. ePrint Arch., 2014)

Limits of a conjecture on a leakage-resilient cryptosystem. - David Galindo; Srinivas Vivek 001 (Inf. Process. Lett., 2014)

SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. - David Bernhard; Véronique Cortier; David Galindo; Olivier Pereira; Bogdan Warinschi (IEEE Symposium on Security and Privacy, 2015)

2015 Neuchâtel's Cast-as-Intended Verification Mechanism. - David Galindo; Sandra Guasch; Jordi Puiggali (VoteID, 2015)

A comprehensive analysis of game-based ballot privacy definitions. - David Bernhard; Véronique Cortier; David Galindo; Olivier Pereira; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2015)

BeleniosRF: A Strongly Receipt-Free Electronic Voting Scheme. - Véronique Cortier; Georg Fuchsbauer; David Galindo (IACR Cryptol. ePrint Arch., 2015)

Compact hierarchical identity-based encryption based on a harder decisional problem. - David Galindo (Int. J. Comput. Math., 2015)

BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. - Pyrros Chaidos; Véronique Cortier; Georg Fuchsbauer; David Galindo (CCS, 2016)

A Javascript Voting Client for Remote Online Voting. - Jordi Cucurull; Sandra Guasch; David Galindo (ICETE (Selected Papers), 2016)

Transitioning to a Javascript Voting Client for Remote Online Voting. - Jordi Cucurull; Sandra Guasch; David Galindo (SECRYPT, 2016)

SoK: Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IEEE Symposium on Security and Privacy, 2016)

Extended security arguments for signature schemes. - Özgür Dagdelen; David Galindo; Pascal Véron; Sidi Mohamed El Yousfi Alaoui; Pierre-Louis Cayrel (Des. Codes Cryptogr., 2016)

Verifiability Notions for E-Voting Protocols. - Véronique Cortier; David Galindo; Ralf Küsters; Johannes Müller 001; Tomasz Truderung (IACR Cryptol. ePrint Arch., 2016)

Implementation of a leakage-resilient ElGamal key encapsulation mechanism. - David Galindo; Johann Großschädl; Zhe Liu 001; Praveen Kumar Vadnala; Srinivas Vivek 001 (J. Cryptogr. Eng., 2016)

A Formal Analysis of the Neuchatel e-Voting Protocol. - Véronique Cortier; David Galindo; Mathieu Turuani (EuroS&P, 2018)

Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts. - Rujia Li 001; David Galindo; Qi Wang 012 (DPM/CBT@ESORICS, 2019)

CAOS: Concurrent-Access Obfuscated Store. - Mihai Ordean; Mark Ryan 001; David Galindo (SACMAT, 2019)

An Accountable Decryption System Based on Privacy-Preserving Smart Contracts. - Rujia Li 001; Qin Wang 008; Feng Liu 059; Qi Wang 012; David Galindo (ISC, 2020)

Democratising blockchain: A minimal agency consensus model. - Marcin Abram; David Galindo; Daniel Honerkamp; Jonathan Ward; Jin-Mann Wong (CoRR, 2020)

Robust Subgroup Multi-Signatures for Consensus. - David Galindo; Jia Liu 003 (IACR Cryptol. ePrint Arch., 2020)

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. - David Galindo; Jia Liu 003; Mihai Ordean; Jin-Mann Wong (IACR Cryptol. ePrint Arch., 2020)

An Offline Delegatable Cryptocurrency System. - Rujia Li 001; Qin Wang 008; Xinrui Zhang; Qi Wang 012; David Galindo; Yang Xiang 001 (IEEE ICBC, 2021)

SoK: Untangling File-based Encryption on Mobile Devices. - David Galindo; Jia Liu 003; Chris McMahon Stone; Mihai Ordean (CoRR, 2021)

How Do Smart Contracts Benefit Security Protocols? - Rujia Li 001; Qin Wang 008; Qi Wang 012; David Galindo (CoRR, 2022)

SoK: TEE-Assisted Confidential Smart Contract. - Rujia Li 001; Qin Wang 008; Qi Wang 012; David Galindo; Mark Ryan 001 (Proc. Priv. Enhancing Technol., 2022)

Transparent Registration-Based Encryption through Blockchain. - Qin Wang 008; Rujia Li 001; Qi Wang 012; David Galindo; Shiping Chen 001; Yang Xiang 001 (Distributed Ledger Technol. Res. Pract., 2023)

Bringing Smart Contract Confidentiality via Trusted Hardware: Fact and Fiction. - Rujia Li 001; Qin Wang 008; Yuanzhao Li; Sisi Duan; Qi Wang 012; David Galindo (IEEE Trans. Inf. Forensics Secur., 2025)