Find Academic Supervisors

Sasa RadomirovicView profile

Senior Lecturer

• Formal Methods for Information Security
• Formal Modeling and Verification of Cryptographic Protocols
• Cybersecurity
• +3 more

Dr. Sasa Radomirovic is a Senior Lecturer in Secure Systems and Programme Lead of the MSc Information Security at the University of Surrey. He holds a PhD in Mathematics from Rutgers University (2005) and has held postdoctoral positions at NTNU Trondheim, CRM Barcelona, and the University of Luxembourg. His prior roles include Senior Scientist at ETH Zurich and faculty positions at the University of Dundee and Heriot-Watt University. He is affiliated with the Surrey Centre for Cyber Security and the Computer Science Research Centre within the School of Computer Science and Electronic Engineering. Dr. Radomirovic specializes in Formal Methods for Information Security and Formal Modeling and Verification of Cryptographic Protocols . His research focuses on ensuring security through rigorous mathematical analysis, with applications in voting systems, IoT, and human-centric security. Key contributions include work on remote attestation protocols, election verification, and user account management strategies. His recent publications highlight advancements in cryptographic protocol design, system security, and human factors in cybersecurity. Notable works include studies on table-based elections, IoT security perceptions, and dispute resolution mechanisms in voting systems. He has advised PhD students at ETH Zurich and the University of Luxembourg, contributing to impactful research in cybersecurity and formal verification. Dr. Radomirovic's research integrates theoretical foundations with practical applications, addressing challenges such as protocol vulnerabilities, user behavior analysis, and the security of emerging technologies like 5G and IoT.

• Cybersecurity
• Underwater Acoustic Networks
• Hardware Security
• +3 more

Zhijie Jerry Shi is an Associate Professor at the School of Computing, University of Connecticut. His research focuses on cybersecurity, underwater acoustic networks, hardware security, and blockchain technology. He leads projects such as Ocean-TUNE, a community testbed for underwater communication, and has contributed to secure firmware updates, cryptographic algorithms, and IoT security architectures. His work integrates hardware and software solutions for resilient systems. Key research areas include cryptographic side-channel attacks, underwater acoustic communication protocols, and blockchain scalability. He has developed innovative solutions for underwater sensor networks, including Aqua-Net and Aqua-Sim simulators, and explored secure metering systems using blockchain (SMChain). His hardware security research addresses vulnerabilities in embedded systems and trustable computing education. His publications span over 15 years, with recent emphasis on hardware trojan detection, diffractive optical neural networks, and secure IoT protocols. Collaborations involve experimental deployments in underwater environments and joint work on FPGA-based acoustic modems. He advises on secure wireless protocols, cryptographic implementations, and underwater network resilience.

• Cryptography
• Computer Security
• Information Security
• +3 more

Dr. Pooya Farshim is an Associate Professor in the Department of Computer Science. His research focuses on cryptography and information security, with recent work emphasizing automated proofs in idealized cryptographic models and password hashing mechanisms. He has contributed to advancing security analysis and protocol design through peer-reviewed publications. Publications highlight his expertise in cryptographic models and practical security solutions. While no academic awards or grants are explicitly listed, his work demonstrates significant contributions to the field of computer security. No advising roles or student supervision details are provided in the available information.

Curtis BrightView profile

Assistant Professor

• Automated Mathematics
• Computer-Assisted Proofs
• Automated Reasoning
• +5 more

Dr. Curtis Bright is an Assistant Professor in the School of Computer Science at the University of Windsor. He holds a PhD in Computer Science from the University of Waterloo (2017) and an MMath in Computational Mathematics from the same institution (2004). His research focuses on computer-assisted proofs, automated reasoning, symbolic computation, and discrete mathematics. He leads the MathCheck project, which combines satisfiability checking (SAT) and computer algebra systems (CAS) for mathematical conjectures verification. **Education:** PhD, Computer Science, University of Waterloo (2017) MMath, Computational Mathematics, University of Waterloo (2004) **Research Interests:** Dr. Bright specializes in automating mathematics, particularly verification and counterexample generation of conjectures, computer-assisted proofs, automated reasoning algorithms, satisfiability checking, and symbolic computation. His work bridges combinatorics, experimental mathematics, and computational algebra. Recent projects include solving Lam’s problem via SAT and exhaustive generation, resolving the abc conjecture’s lower bound, and producing certificates for Ramsey numbers R(3,8) and R(3,9). **Awards:** Jacques Calmet Best Paper Award (2021) ACA Early Researcher Award (2022) Judges’ Choice Award at Maple Conference (2021) **Advising & Grants:** He supervises multiple PhD, MSc, and undergraduate students, including recent graduates Sadman Sakib (MSc), Nahiyan Alamgir (MSc), and Yameen Ajani (MSc). His research has been supported by grants such as 170 CPU years and 20TB storage from DRAC for Kochen-Specker system studies. He co-leads the MathCheck group at Waterloo and the Algorithms & Mathematics group at Windsor. **Labs/Teams:** His work is anchored in the MathCheck project and collaborations with institutions like Carleton University and the University of Waterloo. His team develops innovative SAT+CAS methodologies for combinatorial and mathematical challenges.

Marius SilaghiView profile

Professor

• Artificial Intelligence
• Distributed Systems
• Cryptography
• +7 more

Marius Silaghi is a Professor in the Department of Electrical Engineering and Computer Science at the Florida Institute of Technology (FIT), within the College of Engineering and Science. He leads the Human Decision Systems Support Lab and is affiliated with the IEEE Computational Intelligence Bulletin as an Area Editor. His research focuses on intelligent decision-making systems, privacy-preserving distributed constraint reasoning, cryptographic protocols, robotics, and speech recognition. Silaghi holds a PhD from the Swiss Federal Institute of Technology (EPFL) in 2002. His work spans theoretical advancements in distributed algorithms and their practical applications in areas like secure multi-agent systems, automated planning, and decentralized decision support. Notable contributions include foundational research in Distributed Constraint Optimization Problems (DCOPs), privacy-aware computational frameworks, and robotic autonomy. He has received best paper awards at international conferences such as CIA 2008 and IAT 2007 for innovative approaches in constraint programming and multi-agent systems. Silaghi actively publishes in top venues like AAAI, AAMAS, and IEEE journals, contributing to both theoretical and applied aspects of AI and distributed systems. Research Interests: Silaghi’s work integrates artificial intelligence with distributed systems to address challenges in privacy, security, and coordination. Key areas include: Privacy-Preserving Technologies: Developing algorithms for secure multi-party computation and privacy-aware distributed systems. Robotics and Autonomy: Investigating decision-making frameworks for humanoid robots, including navigation, sensor integration, and human-robot interaction. Cryptography and Security: Designing cryptographic protocols (e.g., S-Box generation) and analyzing vulnerabilities in systems like SIDH ciphers. Constraint Reasoning: Advancing methods for distributed constraint satisfaction and optimization, with applications to auctions, scheduling, and resource allocation. His research emphasizes real-world deployment, from vehicular networks to decentralized decision platforms like DirectDemocracyP2P . Recent Article Trends: Silaghi’s recent work explores Bayesian networks for software testing, probabilistic models for robotics, and privacy-enhanced distributed algorithms. Articles highlight innovations in utility-based privacy frameworks, route optimization under fairness constraints, and trajectory interpolation for autonomous systems. These studies reflect a focus on balancing theoretical rigor with practical impact in AI and robotics. Grants and Labs: Leads the Human Decision Systems Support Lab, which develops tools for group decision-making and deliberation. His lab’s projects include platforms for decentralized petition drives and secure software update mechanisms. While specific grant details are not listed, his work is supported by FIT initiatives and collaborations with institutions like EPFL and the University of Bologna.

• Cryptography
• Cybersecurity
• Machine Learning
• +2 more

Nadav Voloch is an Assistant Professor at the IMT School for Advanced Studies Lucca. His research focuses on cryptography, cybersecurity, and machine learning applications in network security and traffic optimization. Key areas include developing encryption schemes, trust models for online social networks, and algorithmic solutions for robotic navigation. Research interests span cryptographic algorithms, privacy frameworks aligned with GDPR, and machine learning techniques for traffic management and misinformation detection. His work integrates mathematical foundations with practical applications in data security and social network analysis. Article analysis reveals a strong emphasis on cybersecurity innovations, including privacy-preserving trust models and traffic optimization algorithms. Recent publications focus on real-time applications, regulatory compliance, and combating misinformation through advanced computational methods. No awards, students, or lab affiliations are documented in the provided information.

Giovanni CamuratiView profile

Researcher

• Cybersecurity
• Embedded Systems Security
• Hardware Security
• +4 more

Dr. Giovanni Camurati is a researcher in the Department of Computer Science at ETH Zurich, affiliated with the Professorship for Computer Science. His work focuses on hardware and embedded systems security, particularly in areas such as wireless communication security, side-channel attacks, and secure ranging technologies. He holds a PhD and has contributed to cutting-edge research on vulnerabilities in GNSS systems, UWB chips, and automotive CAN bus systems. His research often intersects software-defined radio, signal processing, and cryptographic evaluations, with an emphasis on practical attack methodologies and mitigation strategies. Key research interests include analyzing electromagnetic emissions (screaming channels), timing attacks on secure ranging systems, and developing tools for SoC security evaluation. Camurati’s work frequently explores interactions between digital activity and radio transceivers, uncovering novel vulnerabilities in hardware-software co-design systems. He has published extensively on topics ranging from Monte Carlo-based security evaluations to noise modulation techniques in unprivileged software contexts. His contributions have advanced understanding of GNSS spoofing, UWB distance reduction attacks, and CAN bus timing vulnerabilities, with practical implications for automotive, financial, and satellite navigation systems. Despite no explicit mention of awards or grants in the provided text, his prolific publication record reflects sustained excellence in embedded systems security research.

Marc FischlinView profile

Professor

• Cryptography
• Security Protocols
• Complexity Theory
• +2 more

Marc Fischlin is a Professor of Computer Science at Technische Universität Darmstadt, specializing in Cryptography and Complexity Theory. His research establishes formal foundations for cryptographic security and develops practical protocols for real-world applications. Key research domains: Formal verification of security protocols (TLS, Bluetooth, QUIC) Post-quantum cryptography migration strategies Compositional security proofs Privacy-enhancing technologies Cryptographic foundations and complexity Recent work includes BUFFing techniques for signature schemes, quantum-resistant FIDO2 authentication, and robust channel designs for QUIC/DTLS. He develops decision-based frameworks for privacy-sensitive data distribution and analyzes next-generation transport protocols. His group contributes cryptographic core components to standards including TLS 1.3 and conducts fundamental work on indifferentiability and verifiable verification.

Yingjie LaoView profile

Associate Professor

• Trusted AI
• Hardware Security
• Electronic Design Automation
• +3 more

Yingjie Lao is an Associate Professor at Tufts University in the Department of Electrical and Computer Engineering with a secondary appointment in Computer Science. He holds a B.S. from Zhejiang University (2009) and a Ph.D. from the University of Minnesota (2015). Before Tufts, he was an Associate Professor at Clemson University and an IC Design Scientist at Broadcom. Research Focus: Trusted AI, hardware security, electronic design automation, VLSI architectures for machine learning, cryptographic systems, and healthcare applications. Awards: NSF CAREER Award, IEEE VLSI Prize Paper Award, ISLPED Best Paper Award, and 2023 Best Associate Editor Award (IEEE Transactions on VLSI). Grants: NSF-funded projects on photonic PUFs, secure EV operations, and privacy-preserving ML inference. Advising: Mentored students including Antian Wang, Azi Famili, Joseph Clements, Weihang Tan, and Jianchi Sun. Labs/Teams: Leads research in AI security, hardware security, and VLSI systems, with a focus on photonic PUFs and secure ML accelerators. His work spans interdisciplinary areas, integrating hardware design with AI security, healthcare, and cryptography. Recent projects include NSF-funded research on optoelectronic hardware security and privacy-preserving neural networks.

Beata MegyesiView profile

Professor

• Computational Linguistics
• Historical Cryptology
• Artificial Intelligence in Humanities
• +3 more

Beata Megyesi is a Professor of Computational Linguistics at Stockholm University , leading groundbreaking work in Historical Cryptology and Digital Humanities . Her research bridges Artificial Intelligence with Philology to decode secret historical documents through projects like DESCRYPT (2025-2032) and DECRYPT (2018-2024), funded by Riksbankens Jubileumsfond and Vetenskapsrådet . Current Chair of Swedish Research Council's Linguistics Review Group (2024-2025) Director of the international Master's Program in AI and Language Advisor to PhD candidates Micaella Bruton and Crina Tudor Research Focus includes: Automatic analysis of 17th-19th century ciphers with AI Development of Linked Open Data infrastructure for cryptology Decryption of papal and diplomatic correspondences from 1500-1965 Creation of HistCorp multilingual historical corpus collection Key Collaborations span institutions in Sweden, Norway, Spain, Germany, Hungary, and the USA , with notable projects like DECODE2LOD and Swe-CLARIN . Her lab has pioneered automated key extraction and neural network-based alignment of encrypted manuscripts to plaintext.

Yuval YaromView profile

Professor

• Computer Security
• Cryptography
• Microarchitectural Attacks
• +3 more

Yuval Yarom is a Professor and Head of the Chair of Computer Security at Ruhr University Bochum's Faculty of Computer Science. His research specializes in hardware security vulnerabilities, including microarchitectural attacks (e.g., Spectre, Rowhammer), cryptographic side channels, and GPU security exploits. He leads major initiatives like the DFG Excellence Cluster CASA and the EU Marie Curie Network QSI. Research focuses on: Microarchitectural attack vectors (cache timing, speculative execution) Automated security tools for cryptographic implementations Hardware-assisted cryptanalysis and mitigation design Cross-layer vulnerabilities in CPUs/GPUs Recent publications (2023-2025) show strong emphasis on: Practical attacks exploiting CPU/DRAM weaknesses (e.g., Apple M3 vulnerabilities, ECC memory failures) Automated countermeasures for cryptographic leakage Novel browser/GPU-based side channels Verified compilation for secure hardware Supervised 14+ PhD students including Önder Askin, Elena Kirshanova, and Andre Esser. Affiliations include Horst Görtz Institute (HGI), IACR, and Bochum's IT Security Association (BITSI).

Shafi GoldwasserView profile

Professor

• Cryptography
• Theoretical Computer Science
• Complexity Theory
• +4 more

Shafi Goldwasser is the RSA Professor (Post Tenure) of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and holds a professorship in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley. She is a core member of MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL), particularly within the Theory of Computation Group and Complexity Theory Group. Her work focuses on advancing cryptographic foundations, computational complexity, and algorithmic security. Goldwasser has pioneered research in areas such as zero-knowledge proofs, homomorphic encryption, and secure multiparty computation, with applications in privacy, cybersecurity, and AI alignment. Research Interests: Goldwasser’s research spans cryptography, complexity theory, and the intersection of computer science with societal challenges. Her work emphasizes: Designing provably secure cryptographic systems Algorithmic robustness and adversarial machine learning Privacy-preserving technologies for healthcare and data collaboration Formal verification of AI models Cross-disciplinary applications in law and biology Scientific Contributions: A 2017 ACM Fellow, Goldwasser has led major initiatives like the Homomorphic Encryption Standard project. Her research groups at MIT and CSAIL explore foundational problems in computational complexity while addressing real-world challenges such as securing emerging communication systems and reconciling legal secrecy with transparency through cryptographic tools. Collaborations & Teams: She co-leads the Cryptography and Information Security Group and Complexity Theory Group at MIT, collaborating with experts like Vinod Vaikuntanathan and Yael Kalai. Her work integrates theoretical breakthroughs with practical applications, such as secure genomic analysis and AI alignment frameworks.

Fatemeh Khoda ParastView profile

Assistant Professor

• Cybersecurity
• Cyber Threat Intelligence
• Digital Forensics
• +3 more

Fatemeh Khoda Parast is an Assistant Professor in the Department of Computer Science at the University of New Brunswick (UNB). She previously served as an Assistant Professor at the University of Guelph from September 2023 to September 2024. Her PhD in Computer Science from UNB (2019–2023) focused on the security of large-scale distributed storage systems. She currently researches transforming cyber threat intelligence into rapid defense mechanisms. Education: PhD in Computer Science, University of New Brunswick (2019–2023) Her research interests span cybersecurity, cyber threat intelligence, digital forensics, and cloud storage security. She explores cryptographic solutions for distributed systems and AI-driven threat detection. Recent work includes CephArmor (secure Ceph storage interfaces) and neural network-based RSA cryptanalysis. Her publications address cutting-edge topics like AI in threat intelligence automation and privacy-preserving machine learning for distributed data. No scientific awards are explicitly mentioned. No advising or grant details are provided. Her work contributes to advancing secure cloud infrastructure and cryptographic protocols.

Arif KhanView profile

Senior Lecturer

• Wireless Communication Systems
• Cyber Security
• Vehicular Ad-Hoc Networks
• +4 more

Dr. Arif Khan is a Senior Lecturer in Computing at Charles Sturt University's School of Computing and Mathematics, within the Faculty of Business, Justice and Behavioural Sciences. He holds a PhD from Macquarie University (2010), MS in Electronic Engineering from GIK Institute (2004), and BSc in Electrical Engineering from UET Lahore (2000). His research focuses on wireless communication systems, vehicular ad-hoc networks (VANETs), cyber security, and IoT security. He leads the Advanced Networks Research Group (ANRG) and has secured multiple grants and awards, including the 2024 Excellence Award (Research). His work emphasizes AI-driven solutions for network security, channel estimation, and resource optimization in emerging technologies like 5G/6G and edge computing. Education Background: PhD, Macquarie University (2010) MS Electronic Engineering, GIK Institute (2004) BSc Electrical Engineering, UET Lahore (2000) Research Interests: MIMO wireless systems Cyber security and ransomware detection IoT and edge computing Wireless channel estimation Vehicular ad-hoc networks Key Achievements: Over 75 peer-reviewed publications Principal investigator on grants totaling $1.2M Co-founder of ANRG at CSU Recipient of Charles Sturt Excellence Awards (2023, 2024) Grants and Funding: Developing automated ML-based IoT vulnerability detection model ($250K) Enhancing Cyber Security Research Capabilities ($180K) Labs/Teams: Leader of the Advanced Networks Research Group (ANRG), collaborating with CSIRO and industry partners on 5G/6G and cyber security projects.

Eran TromerView profile

Professor

• Cryptography
• Information Security
• Blockchain Technology
• +5 more

Eran Tromer is a Professor of Computer Science at Boston University, specializing in cryptography and information security. His research focuses on building secure distributed systems, cryptographic tools like zero-knowledge proofs, and mitigating side-channel attacks. He co-founded the Zcash blockchain, Sealance for privacy-preserving financial regulation, and led the ZKProof Standardization Effort. Education: PhD from the Weizmann Institute of Science Prior affiliations: Columbia University, Tel Aviv University, MIT, and Microsoft Research Research Interests Tromer's work bridges theoretical cryptography with practical implementations, emphasizing: Privacy-preserving technologies (blockchain, zero-knowledge) Cryptographic protocol security Side-channel attack mitigation Hardware vulnerabilities Recent articles explore topics like snake-eye resistant encryption, optical cryptanalysis, and adversarial machine learning attacks on perceptual hashing. Professional Contributions Founder of Zcash and Sealance, Tromer has also contributed to open standards through ZKProof. His research often intersects hardware security and software resilience, with a focus on real-world deployable solutions.