Constantin Catalin Dragan

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 26

Top Topics

Visual Cryptography

Internet Voting

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. ESORICS (3) (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur
TAPESTRY: A De-Centralized Service for Trusted Interaction Online. IEEE Trans. Serv. Comput. 15 (3) (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Asymptotically ideal Chinese remainder theorem -based secret sharing schemes for multilevel and compartmented access structures. IET Inf. Secur. 15 (4) (2021)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding. CSF (2021)
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. ICDCS (2020)
Constantin Catalin Dragan, Mark Manulis
KYChain: user-controlled KYC data sharing and certification. SAC (2020)
Daniel Gardham, Mark Manulis, Constantin Catalin Dragan
Biometric-Authenticated Searchable Encryption. ACNS (2) (2020)
Daniel Gardham, Mark Manulis, Constantin Catalin Dragan
Biometric-Authenticated Searchable Encryption. IACR Cryptol. ePrint Arch. 2020 (2020)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. 2020 (2020)
Constantin Catalin Dragan, Mark Manulis
KYChain: User-Controlled KYC Data Sharing and Certification. CoRR (2020)
Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
VMV: Augmenting an Internet Voting System with Selene Verifiability. CoRR (2019)
Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. EuroS&P (2019)
Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur
TAPESTRY: A Blockchain based Service for Trusted Interaction Online. CoRR (2019)
Constantin Catalin Dragan, Daniel Gardham, Mark Manulis
Hierarchical Attribute-based Signatures. IACR Cryptol. ePrint Arch. 2018 (2018)
Constantin Catalin Dragan, Mark Manulis
Bootstrapping Online Trust: Timeline Activity Proofs. DPM/CBT@ESORICS (2018)
Constantin Catalin Dragan, Daniel Gardham, Mark Manulis
Hierarchical Attribute-Based Signatures. CANS (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. CSF (2018)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme. Inf. Sci. (2018)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures. IACR Cryptol. ePrint Arch. 2018 (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2017)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan, Anca-Maria Nica
Key-Policy Attribute-Based Encryption from Bilinear Maps. SECITC (2017)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Distributive weighted threshold secret sharing schemes. Inf. Sci. 339 (2016)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps. BalkanCryptSec (2015)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps. IACR Cryptol. ePrint Arch. 2014 (2014)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps. IACR Cryptol. ePrint Arch. 2014 (2014)
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing Scheme. IACR Cryptol. ePrint Arch. 2014 (2014)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme. Inf. Process. Lett. 114 (6) (2014)
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps. BalkanCryptSec (2014)
Mihai Barzu, Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes. Inf. Sci. 240 (2013)
Constantin Catalin Dragan
Interactive Secret Share Management. SECRYPT (2009)