Constantin Catalin Dragan

38 papers A* 1A 6B 1C 1Misc 1Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
FABS: Fast Attribute-Based Signatures.
IACR Cryptol. ePrint Arch.
Liqun Chen, Long Meng, Yalan Wang, Nada El Kassem, Chris J. P. Newton, Yangguang Tian, Jodie Knapp, Constantin Catalin Dragan, Daniel Gardham, Mark Manulis
2025 A conf
Dynamic Group Signatures with Verifier-Local Revocation.
CSF
Callum London, Daniel Gardham, Constantin Catalin Dragan
2025 J jnl
Dynamic Group Signatures with Verifier-Local Revocation.
IACR Cryptol. ePrint Arch.
Callum London, Daniel Gardham, Constantin Catalin Dragan
2024 J jnl
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems.
IEEE Trans. Dependable Secur. Comput.
Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright
2023 — conf
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.
ESORICS (3)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
2023 J jnl
Machine-checked proofs of privacy against malicious boards for Selene & Co.
J. Comput. Secur.
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2022 A conf
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
CSF
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2022 J jnl
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co.
IACR Cryptol. ePrint Arch.
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2022 J jnl
TAPESTRY: A De-Centralized Service for Trusted Interaction Online.
IEEE Trans. Serv. Comput.
Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur
2021 J jnl
Asymptotically ideal Chinese remainder theorem -based secret sharing schemes for multilevel and compartmented access structures.
IET Inf. Secur.
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2021 A conf
Mechanised Models and Proofs for Distance-Bounding.
CSF
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2020 A conf
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.
ICDCS
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
2020 — conf
Biometric-Authenticated Searchable Encryption.
ACNS (2)
Daniel Gardham, Mark Manulis, Constantin Catalin Dragan
2020 J jnl
Biometric-Authenticated Searchable Encryption.
IACR Cryptol. ePrint Arch.
Daniel Gardham, Mark Manulis, Constantin Catalin Dragan
2020 — ed.
Computer Security - ESORICS 2020 International Workshops, DETIPS, DeSECSys, MPS, and SPOSE, Guildford, UK, September 17-18, 2020, Revised Selected Papers
DETIPS/DeSECSys/MPS/SPOSE@ESORICS
Ioana Boureanu, Constantin Catalin Dragan, Mark Manulis, Thanassis Giannetsos, Christoforos Dadoyan, Panagiotis Gouvas, Roger A. Hallman, Shujun Li, Victor Chang, Frank Pallas, Jörg Pohle, M. Angela Sasse
2020 J jnl
KYChain: User-Controlled KYC Data Sharing and Certification.
CoRR
Constantin Catalin Dragan, Mark Manulis
2020 Misc conf
KYChain: user-controlled KYC data sharing and certification.
SAC
Constantin Catalin Dragan, Mark Manulis
2020 J jnl
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments.
IACR Cryptol. ePrint Arch.
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
2019 A conf
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme.
EuroS&P
Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer
2019 J jnl
TAPESTRY: A Blockchain based Service for Trusted Interaction Online.
CoRR
Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur
2019 J jnl
VMV: Augmenting an Internet Voting System with Selene Verifiability.
CoRR
Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
2018 J jnl
Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures.
IACR Cryptol. ePrint Arch.
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2018 — conf
Bootstrapping Online Trust: Timeline Activity Proofs.
DPM/CBT@ESORICS
Constantin Catalin Dragan, Mark Manulis
2018 B conf
Hierarchical Attribute-Based Signatures.
CANS
Constantin Catalin Dragan, Daniel Gardham, Mark Manulis
2018 J jnl
Hierarchical Attribute-based Signatures.
IACR Cryptol. ePrint Arch.
Constantin Catalin Dragan, Daniel Gardham, Mark Manulis
2018 A conf
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.
CSF
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
2018 J jnl
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme.
Inf. Sci.
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
2017 — conf
Key-Policy Attribute-Based Encryption from Bilinear Maps.
SECITC
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan, Anca-Maria Nica
2017 A* conf
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
IEEE Symposium on Security and Privacy
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
2016 J jnl
Distributive weighted threshold secret sharing schemes.
Inf. Sci.
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
2015 — conf
Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps.
BalkanCryptSec
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
2014 J jnl
A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme.
Inf. Process. Lett.
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2014 J jnl
Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps.
IACR Cryptol. ePrint Arch.
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
2014 — conf
Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear Maps.
BalkanCryptSec
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2014 J jnl
Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps.
IACR Cryptol. ePrint Arch.
Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2014 J jnl
On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing Scheme.
IACR Cryptol. ePrint Arch.
Constantin Catalin Dragan, Ferucio Laurentiu Tiplea
2013 J jnl
Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes.
Inf. Sci.
Mihai Barzu, Ferucio Laurentiu Tiplea, Constantin Catalin Dragan
2009 C conf
Interactive Secret Share Management.
SECRYPT
Constantin Catalin Dragan