Catalin Dragan

Dr Constantin Catalin Dragan

Lecturer

Academic and research departments

Department of Computer Science, Surrey Centre for Cyber Security.

Biography

Areas of specialism

applied cryptography; provable security; formal verification; electronic voting

My publications

Publications

MANULIS MARK, (2020)Biometric-Authenticated Searchable Encryption
DOI: 10.1007/978-3-030-57878-7_3
Dragan Catalin, Manulis Mark Bootstrapping Online Trust: Timeline Activity Proofs, In: Data Privacy Management, Cryptocurrencies and Blockchain Technology SpringerLink
Dragan Catalin, Gardham Daniel, Manulis Mark Hierarchical Attribute-based Signatures, In: International Conference on Cryptology and Network Security Springer Nature
Cortier Véronique, Dragan Constantin Cătălin, Dupressoir Francois, Warinschi Bogdan (2018)Machine-checked proofs for electronic voting: privacy and verifiability for Belenios, In: Proceedings of the 31st IEEE Computer Security Foundations Symposium Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/CSF.2018.00029
Dragan Constantin-Catalin, Gardham Daniel, Manulis Mark (2018)Hierarchical Attribute-based Signatures. 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, In: Camenisch J, Papadimitratos P (eds.), Cryptology and Network Security. CANS 2018. Lecture Notes in Computer Science11124pp. 212-234 Springer Verlag
DOI: 10.1007/978-3-030-00434-7_11
Yang Yifan, Cooper Daniel, Collomosse John, Dragan Catalin, Manulis Mark, Briggs Jo, Steane Jamie, Manohar Arthi, Moncur Wendy, Jones Helen (2020)TAPESTRY: A De-centralized Service for Trusted Interaction Online, In: IEEE Transactions on Services Computingpp. 1-1 Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/TSC.2020.2993081