Constantin Catalin Dragan
Constantin Catalin Dragan
Verified email at surrey.ac.uk
Title
Cited by
Cited by
Year
Machine-checked proofs of privacy for electronic voting protocols
V Cortier, CC Drăgan, F Dupressoir, B Schmidt, PY Strub, B Warinschi
2017 IEEE Symposium on Security and Privacy (SP), 993-1008, 2017
252017
Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes
M Barzu, FL Ţiplea, CC Drăgan
Information Sciences 240, 161-172, 2013
222013
Distributive weighted threshold secret sharing schemes
CC Drăgan, FL Ţiplea
Information sciences 339, 85-97, 2016
182016
Key-policy attribute-based encryption for boolean circuits from bilinear maps
FL Ţiplea, CC Drăgan
International Conference on Cryptography and Information Security in the …, 2014
152014
On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme
CC Drăgan, FL Tiplea
Information Sciences 463, 75-85, 2018
132018
Machine-checked proofs for electronic voting: privacy and verifiability for Belenios
V Cortier, CC Dragan, F Dupressoir, B Warinschi
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 298-312, 2018
132018
Key-policy attribute-based encryption for general boolean circuits from secret sharing and multi-linear maps
CC Drăgan, FL Ţiplea
International Conference on Cryptography and Information Security in the …, 2015
112015
A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme
FL Ţiplea, CC Drăgan
Information Processing Letters 114 (6), 299-303, 2014
112014
Hierarchical attribute-based signatures
CC Drǎgan, D Gardham, M Manulis
International Conference on Cryptology and Network Security, 213-234, 2018
62018
Private votes on untrusted platforms: models, attacks and provable scheme
S Bursuc, CC Dragan, S Kremer
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 606-620, 2019
52019
Key-policy attribute-based encryption from bilinear maps
FL Ţiplea, CC Drăgan, AM Nica
International Conference for Information Technology and Communications, 28-42, 2017
52017
Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps.
CC Dragan, FL Tiplea
IACR Cryptol. ePrint Arch. 2014, 462, 2014
42014
TAPESTRY: a de-centralized service for trusted interaction online
Y Yang, D Cooper, J Collomosse, C Dragan, M Manulis, J Briggs, ...
IEEE Transactions on Services Computing, 2020
32020
Bootstrapping online trust: Timeline activity proofs
CC Drăgan, M Manulis
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 242-259, 2018
32018
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger
M Sallal, S Schneider, M Casey, F Dupressoir, H Treharne, C Dragan, ...
2020 IEEE 40th International Conference on Distributed Computing Systems …, 2020
22020
VMV: Augmenting an Internet Voting System with Selene Verifiability
M Sallal, S Schneider, M Casey, C Dragan, F Dupressoir, L Riley, ...
arXiv preprint arXiv:1912.00288, 2019
22019
TAPESTRY: a blockchain based service for trusted interaction online
Y Yang, D Cooper, J Collomosse, CC Drăgan, M Manulis, J Steane, ...
arXiv preprint arXiv:1905.06186, 2019
22019
Interactive Secret Share Management.
CC Dragan
SECRYPT, 266-269, 2009
22009
KYChain: user-controlled KYC data sharing and certification
CC Drăgan, M Manulis
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 301-307, 2020
12020
Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures.
FL Tiplea, CC Dragan
IACR Cryptol. ePrint Arch. 2018, 933, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20