Constantin Catalin Dragan

Dr. Constantin Catalin Dragan is a Senior Lecturer in Secure Systems at the University of Surrey, UK. He holds a PhD in Computer Science from Alexandru Ioan Cuza University of Romania (2014), focusing on cryptographic primitives. His research expertise includes applied cryptography, provable security, electronic voting systems, and formal verification.

Dr. Dragan has held postdoctoral positions at LORIA, CNRS, INRIA (France) and the University of Surrey. He leads modules such as Privacy Enhancing Technologies (COM3030), Information Security Management (COM3017/COMM037), and supervises final year projects. Currently advising PhD student Navid Abapour, his teaching emphasizes cybersecurity, operating systems, and privacy-preserving technologies.

His research focuses on formal verification of security protocols, end-to-end verifiable voting systems, and cryptographic primitives. Notable contributions include work on machine-checked proofs for accountability in systems, privacy-preserving e-voting protocols, and blockchain-based trust services like TAPESTRY and KYChain.

Publications span venues like IEEE S&P, EuroS&P, and ESORICS, with a focus on cryptographic protocol design and formal security models. He actively contributes to international workshops on cryptology and cyber security, advancing theoretical foundations and practical implementations of secure systems.