Constantin Catalin Dragan

According to our database, Constantin Catalin Dragan authored at least 26 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

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 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

IACR Cryptol. ePrint Arch., 2022

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

Mechanised Models and Proofs for Distance-Bounding.

Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Biometric-Authenticated Searchable Encryption.

Daniel Gardham, Mark Manulis, Constantin Catalin Dragan

IACR Cryptol. ePrint Arch., 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

IACR Cryptol. ePrint Arch., 2020

KYChain: user-controlled KYC data sharing and certification.

Constantin Catalin Dragan, Mark Manulis

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.

Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2019

VMV: Augmenting an Internet Voting System with Selene Verifiability.

Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright

CoRR, 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

Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme.

Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2018

On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme.

Constantin Catalin Dragan, Ferucio Laurentiu Tiplea

Inf. Sci., 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

Hierarchical Attribute-based Signatures.

Constantin Catalin Dragan, Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2018

Bootstrapping Online Trust: Timeline Activity Proofs.

Constantin Catalin Dragan, Mark Manulis

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018

Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.

Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

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

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Key-Policy Attribute-Based Encryption from Bilinear Maps.

Ferucio Laurentiu Tiplea, Constantin Catalin Dragan, Anca-Maria Nica

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2017

2016

Distributive weighted threshold secret sharing schemes.

Constantin Catalin Dragan, Ferucio Laurentiu Tiplea

Inf. Sci., 2016

2015

Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps.

Constantin Catalin Dragan, Ferucio Laurentiu Tiplea

Proceedings of the Cryptography and Information Security in the Balkans, 2015

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 Boolean Circuits from Bilinear Maps.

Ferucio Laurentiu Tiplea, Constantin Catalin Dragan

IACR Cryptol. ePrint Arch., 2014

Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps.

Constantin Catalin Dragan, Ferucio Laurentiu Tiplea

IACR Cryptol. ePrint Arch., 2014

2013

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

2009

Interactive Secret Share Management.

Constantin Catalin Dragan

Proceedings of the SECRYPT 2009, 2009