Dr Constantin Catalin Dragan


Areas of specialism

applied cryptography; provable security; formal verification; electronic voting

My publications


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