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

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

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

Robust Subgroup Multi-signatures for Consensus. - Galindo, David; Liu, Jia (2022)

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

SoK: TEE-assisted Confidential Smart Contract. - Li, Rujia; Wang, Qin; Wang, Qi; Galindo, David; Ryan, Mark (CoRR, 2022)

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. - Galindo, David; Liu, Jia; Ordean, Mihai; Wong, Jin-Mann (2021)

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

An Offline Delegatable Cryptocurrency System. - Li, Rujia; Wang, Qin; Zhang, Xinrui; Wang, Qi; Galindo, David; Xiang, Yang (CoRR, 2021)

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

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

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

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

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

Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts. - Li, Rujia; Galindo, David; Wang, Qi (2019)

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

Auditable Credential Anonymity Revocation Based on Privacy-Preserving Smart Contracts. - Li, Rujia; Galindo, David; Wang, Qi (CoRR, 2019)

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

CAOS: Concurrent-Access Obfuscated Store. - Ordean, Mihai; Ryan, Mark; Galindo, David (CoRR, 2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Extended Security Arguments for Signature Schemes. - Alaoui, Sidi Mohamed El Yousfi; Dagdelen, Özgür; Véron, Pascal; Galindo, David; Cayrel, Pierre-Louis (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On the Generic Construction of Identity-Based Signatures with Additional Properties. - Galindo, David; Herranz, Javier; Kiltz, Eike (2006)

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

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

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

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

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

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

Direct Chosen-Ciphertext Secure Identity-Based Key Encapsulation without Random Oracles. - Kiltz, Eike; Galindo, David (IACR Cryptol. ePrint Arch., 2006)

On the Generic Construction of Identity-Based Signatures with Additional Properties. - Galindo, David; Herranz, Javier; Kiltz, Eike (IACR Cryptol. ePrint Arch., 2006)

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

Boneh-Franklin Identity Based Encryption Revisited. - Galindo, David (2005)

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

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

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

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

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

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

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

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

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

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