Interactive Secret Share Management. - Constantin Catalin Dragan (SECRYPT, 2009)

Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes. - Mihai Barzu; Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (Inf. Sci., 2013)

Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (IACR Cryptol. ePrint Arch., 2014)

Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2014)

A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (Inf. Process. Lett., 2014)

Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (BalkanCryptSec, 2015)

Distributive weighted threshold secret sharing schemes. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (Inf. Sci., 2016)

Key-Policy Attribute-Based Encryption from Bilinear Maps. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan; Anca-Maria Nica (SECITC, 2017)

Machine-Checked Proofs of Privacy for Electronic Voting Protocols. - Véronique Cortier; Constantin Catalin Dragan; François Dupressoir; Benedikt Schmidt; Pierre-Yves Strub; Bogdan Warinschi (IEEE Symposium on Security and Privacy, 2017)

Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. - Véronique Cortier; Constantin Catalin Dragan; François Dupressoir; Bogdan Warinschi (CSF, 2018)

Bootstrapping Online Trust: Timeline Activity Proofs. - Constantin Catalin Dragan; Mark Manulis (DPM/CBT@ESORICS, 2018)

Hierarchical Attribute-based Signatures. - Constantin Catalin Dragan; Daniel Gardham; Mark Manulis (IACR Cryptol. ePrint Arch., 2018)

Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2018)

On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (Inf. Sci., 2018)

Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. - Sergiu Bursuc; Constantin Catalin Dragan; Steve Kremer (EuroS&P, 2019)

TAPESTRY: A Blockchain based Service for Trusted Interaction Online. - Yifan Yang; Daniel Cooper; John P. Collomosse; Constantin Catalin Dragan; Mark Manulis; Jamie Steane; Arthi Manohar; Jo Briggs; Helen S. Jones; Wendy Moncur (CoRR, 2019)

VMV: Augmenting an Internet Voting System with Selene Verifiability. - Muntadher Sallal; Steve A. Schneider; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Helen Treharne; Joe Wadsworth; Phil Wright (CoRR, 2019)

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. - Muntadher Sallal; Steve Schneider; Matthew Casey 001; François Dupressoir; Helen Treharne; Constantin Catalin Dragan; Luke Riley; Phil Wright (ICDCS, 2020)

KYChain: user-controlled KYC data sharing and certification. - Constantin Catalin Dragan; Mark Manulis (SAC, 2020)

Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (IACR Cryptol. ePrint Arch., 2020)

Biometric-Authenticated Searchable Encryption. - Daniel Gardham; Mark Manulis; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2020)

Mechanised Models and Proofs for Distance-Bounding. - Ioana Boureanu; Constantin Catalin Dragan; François Dupressoir; David Gérault; Pascal Lafourcade 001 (CSF, 2021)

Asymptotically ideal Chinese remainder theorem -based secret sharing schemes for multilevel and compartmented access structures. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IET Inf. Secur., 2021)

TAPESTRY: A De-Centralized Service for Trusted Interaction Online. - Yifan Yang; Daniel Cooper; John P. Collomosse; Constantin Catalin Dragan; Mark Manulis; Jamie Steane; Arthi Manohar; Jo Briggs; Helen S. Jones; Wendy Moncur (IEEE Trans. Serv. Comput., 2022)

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. - Constantin Catalin Dragan; François Dupressoir; Kristian Gjøsteen; Thomas Haines; Peter B. Rønne; Morten Rotvold Solberg (ESORICS (3), 2023)

Machine-checked proofs of privacy against malicious boards for Selene & Co. - Constantin Catalin Dragan; François Dupressoir; Ehsan Estaji; Kristian Gjøsteen; Thomas Haines; Peter Y. A. Ryan; Peter B. Rønne; Morten Rotvold Solberg (J. Comput. Secur., 2023)

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. - Mohammed Alsadi 001; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Muntadher Sallal; Steve Schneider; Helen Treharne; Joe Wadsworth; Phil Wright (IEEE Trans. Dependable Secur. Comput., 2024)

Dynamic Group Signatures with Verifier-Local Revocation. - Callum London; Daniel Gardham; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2025)