Find Academic Supervisors

Ralf SasseView profile

Lecturer

• Information Security
• Formal Methods
• Security Protocols
• +4 more

Dr. Ralf Sasse is a Lecturer and Senior Scientist (Focus Education) at ETH Zurich's Department of Computer Science. He specializes in the intersection of information security and formal methods, with a focus on automated analysis of security protocols and tool development. His research has been published in top venues such as IEEE Symposium on Security and Privacy (S&P), Usenix Security, and ACM CCS. Education: PhD in Computer Science (University of Illinois at Urbana-Champaign, 2012), Diplom in Computer Science (University of Karlsruhe, Germany, 2005). His work bridges formal methods with practical security challenges, including cryptographic protocol analysis, payment system security, and automated verification tools like Tamarin. Research interests include formal verification of protocols, security protocol design, and cryptographic system analysis. His contributions span topics like 5G authentication, EMV standard vulnerabilities, and privacy-preserving identity systems. Key achievements include the Best Practical Paper Award for 'The EMV Standard: Break, Fix, Verify' (2021) and foundational work on Tamarin, a widely used tool for cryptographic protocol analysis. His publications highlight advancements in protocol modeling, attack detection, and interoperability. Collaborations include projects with David Basin's group at ETH Zurich and contributions to the Attack Resilient Public-Key Infrastructure (ARPKI). Current efforts focus on enhancing security through formal methods and addressing real-world protocol vulnerabilities.

• Smart Card Security
• Cryptography
• Embedded System Security
• +7 more

Konstantinos Markantonakis is a Professor of Information Security at the Department of Information Security at Royal Holloway, University of London. He leads the Information Security Group (ISG) and is affiliated with the Smart Card and IoT Security Centre and Engineering Research Centre. His academic journey includes a BSc (Hons) in Computer Science from Lancaster University (1995), followed by an MSc in Information Security (1996), PhD in Smart Card Security (2000), and an MBA in International Management (2005), all from Royal Holloway. His research focuses on smart card security, cryptographic protocol design, embedded system security, and IoT security. Notable contributions include work on trusted execution environments, drone/automotive security, and NFC/RFID security. He has supervised 11 research students and led major projects such as EXFILES (EU-funded forensic smartphone analysis) and Future TPM (quantum-resistant security protocols). He has published over 211 research outputs, including peer-reviewed articles and conference proceedings. His recent work addresses control-flow attestation, edge computing security, and secure embedded device management. He contributes to UN Sustainable Development Goals through cybersecurity solutions that enhance global security and privacy.

Cherith TuckerView profile

Professor

• Low-dimensional topology
• Knot theory
• Graph theory
• +3 more

Dr. Cherith Tucker serves as the Chair of the Division of Mathematics and Professor of Mathematics at Oklahoma Baptist University (OBU). She has held this leadership position since January 2018. Prior to OBU, she was a graduate teaching assistant at the University of Oklahoma and an adjunct instructor at Southern Nazarene University. Her academic journey includes a B.A. in Mathematics from Southern Nazarene University (2007), M.A. (2009) and Ph.D. in Mathematics (2013) from the University of Oklahoma, with a dissertation focusing on Geodesic Fibrations of Elliptic 3-Manifolds , and an endorsement in teaching undergraduate mathematics. Her research interests span low-dimensional topology, knot theory, graph theory, and the topology of manifolds. She actively integrates historical perspectives and pedagogical innovations into her teaching, covering courses from Liberal Arts Mathematics to advanced topics like Real Analysis and Topology. Dr. Tucker is a member of the Mathematical Association of America and Association for Christians in the Mathematical Sciences. She has been honored with awards for teaching excellence, including the Promising Teacher Award (2018) and the Harold Huneke Teaching Award (2009). Her presentations emphasize interdisciplinary outreach, such as using card games for geometry education and exploring the historical development of mathematics. She has delivered lectures connecting ancient mathematics to modern calculus, demonstrating her commitment to both research and educational innovation.

• Hardware Security
• Cryptographic Engineering
• Cybersecurity
• +3 more

Professor Sklavos Nikolaos serves in the Computer Hardware and Architecture Department at the University of Patras, where he leads research in hardware security and cryptographic engineering. His academic profile demonstrates deep expertise in securing embedded systems and IoT devices through innovative hardware implementations. His research spans Hardware Security , Cryptographic Engineering , Cybersecurity , Hardware Design , and Embedded Systems with particular focus on lightweight cryptography for resource-constrained environments. Current investigations include quantum-resistant security architectures, privacy-preserving e-health systems, and secure implementations for 5G/6G communications. His work bridges theoretical cryptography with practical hardware constraints, emphasizing side-channel attack resistance and energy efficiency. Analysis of his recent publications reveals strong trends in hardware-accelerated cryptography (particularly FPGA/ASIC implementations), IoT security frameworks , and privacy mechanisms for healthcare applications . Notable subfields include lightweight cryptographic standards, hardware trojan detection, and security for tinyML devices. His research consistently addresses real-world constraints like area minimization, power efficiency, and latency requirements while maintaining robust security guarantees. Professor Sklavos actively supervises doctoral, master's, and undergraduate thesis projects while teaching advanced courses in Cybersecurity, Embedded Systems, and Hardware Security. He maintains the SCYTALE research group focused on cryptographic engineering and hardware security solutions. His educational initiatives include integrating hands-on cybersecurity training for 5G/6G technologies into STEM curricula.

James KadirireView profile

Senior Lecturer

• Cybersecurity
• Network Security
• Networking
• +5 more

Dr. James Kadirire is a Senior Lecturer in the School of Computing and Information Science within Anglia Ruskin University's Faculty of Science and Engineering. A Fellow of the Higher Education Academy since 2008, he specializes in Cyber Security, Networking, and Software Defined Networking while contributing to the university's Cyber Security and Networking Research Group. His academic credentials include a PhD in Computer Science from University College London (UCL), a Postgraduate Diploma in Computer Science from the University of Cambridge, and a Postgraduate Certificate in Learning and Teaching from Anglia Ruskin University. His research evolved from mobile learning for disaffected youths to advanced cybersecurity frameworks and network automation. Dr. Kadirire's research spans Network Security, Cybersecurity, Software Defined Networking, Service Discovery, Virtualisation, Cloud Computing, and Mobile E-Learning. His publications demonstrate a clear trajectory from early work on service discovery and mobile learning environments toward contemporary cybersecurity applications, particularly in secure online transactions and network security protocols. His scholarly output reveals dominant themes in transaction security (including disposable credit card systems and WPKI), mobile learning environments, and service discovery mechanisms, with increasing focus on practical cybersecurity implementations in network infrastructure. Key recognitions include: Fellow of the Higher Education Academy (FHEA) Member of IEEE and IEEE Computer Society Member of IET (MIET) Chartered Engineer (CEng) accreditation Royal Academy of Engineering International Travel Grant (2007) As an active research supervisor, Dr. Kadirire secured the Royal Academy of Engineering International Travel Grant to present at IEEE Portable 2007. He contributes significantly to the Cyber Security and Networking Research Group, focusing on real-world applications of network security and SDN technologies while maintaining industry-aligned Cisco certifications. His teaching portfolio includes Ethical Hacking, Network Security and Incident Response, Advanced Network Solutions, and Routing courses, reflecting his commitment to practical cybersecurity education since joining higher education in 2007.

Pascal UrienView profile

Professor

• Security
• Secure Elements
• Smart Cards
• +5 more

Pascal Urien is a full professor at Telecom ParisTech in the Networking and Computer Sciences Department and serves as an Associate Researcher at CNRS UMR 5141. With a distinguished career spanning decades, he has established himself as a leading authority in security technologies and secure elements. Professor Urien graduated from Ecole Centrale de Lyon and earned his PhD in computer science, later obtaining his HDR (Habilitation for Director of Researches) in Section 27 (2000). His academic appointments include teaching positions at CNAM (Conservatoire National des Arts et Métiers), University of Marne la Vallee, and as a half-time professor at the University of Paris Dauphine. His primary research focuses on security and secure elements (smart cards) within wireless networks and distributed computing architectures. Professor Urien pioneered internet smart card technology, revolutionizing security approaches in networked environments. His research spans theoretical foundations and practical implementations, with particular emphasis on real-world applications and standardization efforts. Professor Urien's publications demonstrate a clear evolution from foundational smart card research to cutting-edge applications in 6G security, blockchain integration, and IoT frameworks. His work consistently bridges hardware security with network protocols, particularly focusing on TLS/DTLS implementations within secure elements. Best Technological Innovation at cartes'2000 (Paris) Most Innovative Product of Year at Advanced Card Award 2001 (London) Breakthrough Innovation Award at CardTech/SecureTech 2004 (Washington DC) Multiple French national contest wins for innovative start-ups (2007, 2009) As founder of EtherTrust Company (2007), Professor Urien has successfully translated research into commercial applications. His extensive collaboration with industry includes work with CNET de Lannion, Thomson LCR, BULL SA, and SCHLUMBERGER, while his standardization contributions span the IETF, JavaCard Forum, and WLAN smartcard consortium. His research has been supported through numerous French (ANR) and European (IST) projects including MMQoS, RESODO, INSPIRED, and SecFuNet.

Wojciech WodoView profile

Assistant Professor

• Cybersecurity
• Biometric Authentication
• Digital Identity
• +2 more

Dr. Wojciech Wodo is an Assistant Professor at Wroclaw University of Science and Technology specializing in cybersecurity and digital identity systems. His research develops secure authentication frameworks with focus on biometric systems, banking security, and national identity schemes. Key research areas: Biometric-based cryptographic protocols Vulnerability analysis of embedded/IoT systems Digital identity ecosystem design PSD2/PSD3 banking regulation compliance Awarded the Special Scientific Scholarship in 2019 and PRELUDIUM Grant in 2015, Dr. Wodo leads research on Poland's electronic identity card implementation and coordinates international workshops on security challenges. His work bridges theoretical cryptography with practical financial system security.

Tanya KhovanovaView profile

Lecturer

• Recreational Mathematics
• Combinatorics
• Probability
• +7 more

Tanya Khovanova is a Lecturer at the Massachusetts Institute of Technology (MIT) in the Department of Mathematics . Her career spans academia and industry, with extensive experience in recreational mathematics, combinatorics, probability, and algorithm design. She has held positions at MIT since 2008, including Visiting Scholar and Research Affiliate, and has contributed to programs like PRIMES and RSI for mentoring high school students. Ph.D. in Mathematics from Moscow State University (1988), advised by I.M. Gelfand Former roles include Lead Analyst at BAE Systems (2003-2008) and Princeton University (2001-2003, 1996-1998) Her research bridges recreational mathematics with applications in game theory , coding theory , and combinatorial puzzles . She is a prolific blogger and popularizer of mathematics, known for her work in creating innovative puzzles and educational tools like the Math Alive course at Princeton. Recent publications include explorations of EvenQuads games (2025), Chip-Firing algorithms (2022-2025), and SET game generalizations (2025). Her work often intertwines group theory , graph theory , and error-correcting codes . Scientific Awards : 2021 MLK Leadership Award (MIT) 2019 Infinite Mile Award (MIT) 1976 Gold Medal at International Mathematics Olympiad 1975 Silver Medal at International Mathematics Olympiad She mentors students through programs like PRIMES and RSI , emphasizing puzzle-based learning. Her blog and public talks continue to engage global audiences with mathematics.

• Cryptography
• Cybersecurity
• Data Privacy
• +3 more

Xavier BULTEL is a Lecturer at INSA Centre Val de Loire, affiliated with the Computer Science Department. His research focuses on cryptography, data privacy, and secure communication protocols. Email: xavier.bultel@insa-cvl.fr Research Interests: Xavier specializes in cryptographic protocols for anonymity, zero-knowledge proofs, and secure multi-party computation. His work addresses privacy-preserving mechanisms in mobile networks, trick-taking games, and physical ring signatures. Recent Contributions: His publications from 2021-2024 highlight advancements in sanitizable signatures, plaintext equality proofs, and cryptographic games. Key keywords include Cryptography, Cybersecurity, and Secure Communication.