Mohamed Hamdy Khalil Eldefrawy is a Senior Lecturer at Halmstad University's School of Information Technology , specializing in cybersecurity and IoT-related domains. His research focuses on securing emerging technologies through advanced authentication mechanisms, threat detection, and forensic analysis. Cybersecurity IoT Security Digital Forensics His recent publications (2025-2019) highlight expertise in lightweight authentication for autonomous vehicles, deep reinforcement learning for intrusion mitigation, RFID protocol analysis , and side-channel forensic techniques . Key research trends involve industrial IoT security, formal verification of protocols, and AI-driven threat detection. Current affiliations include Halmstad University. No specific scientific awards or student advising details are mentioned in the provided texts.
Carl A. Miller is an Adjunct Associate Professor at the University of Maryland Institute for Advanced Computer Studies (UMIACS) and a mathematician at the National Institute of Standards and Technology (NIST). He co-directs the Joint Center for Quantum Information and Computer Science (QuICS) and holds affiliate faculty status in Mathematics and Applied Mathematics & Scientific Computation (AMSC) at UMD. His research focuses on quantum information processing, particularly quantum cryptography, where he explores the intersection of mathematics and theoretical computer science. Contact: (301) 405-7367 | 3100K Atlantic Building, UMD Research: Quantum cryptography, quantum interactive proofs, quantum advantage, computational complexity, and mathematical foundations of quantum protocols Activities: Program Chair for QCRYPT 2021, committee member for multiple quantum computing conferences, Scientific Lead for the MathQuantum RTG at UMD His recent work includes analyzing quantum advantage in lattice-based systems and security proofs for post-quantum cryptographic protocols. He has also contributed to understanding undecidability in quantum correlations and experimental randomness generation. Carl Miller's scientific awards and honors are not explicitly mentioned in the provided texts. He has advised several graduate researchers, including Honghao Fu and Daochen Wang, who now hold academic positions at Concordia University and the University of British Columbia, respectively. He organizes reading groups on quantum interactive proofs and cryptography and is involved in collaborative projects like the NIST Postquantum Cryptography Project.
Yuncong Hu is an Assistant Professor at Shanghai Jiao Tong University specializing in applied cryptography, decentralized systems, and zero-knowledge proofs. Previously, he completed his Ph.D. at UC Berkeley's RISE Lab under Prof. Raluca Ada Popa and Prof. Alessandro Chiesa, and earned his Bachelor's degree from Shanghai Jiao Tong University in 2017 as a member of the ACM Honored Class. His educational background includes: Ph.D. in Computer Science, UC Berkeley (RISE Lab), advised by Prof. Raluca Ada Popa and Prof. Alessandro Chiesa Bachelor's degree in Computer Science, Shanghai Jiao Tong University, 2017 (ACM Honored Class) Dr. Hu's research focuses on practical cryptographic systems, particularly zero-knowledge proofs (zkSNARKs), with emphasis on efficiency, versatility, and real-world deployment. His work bridges theoretical cryptography with system implementation, addressing challenges in decentralized trust, secure computation, and privacy-preserving protocols. Key contributions include foundational work on preprocessing zkSNARKs, transparency log systems, and cryptographic primitives for emerging applications. Analysis of his 15 most recent publications (2020-2025) reveals a dominant focus on zkSNARKs optimization and novel applications, with significant contributions to vector commitments, range proofs, and federated learning security. His research trajectory shows increasing diversification into AI security (LLM fingerprinting) and hardware-aware cryptographic implementations while maintaining core expertise in proof systems. Publications consistently appear in top venues including Eurocrypt, S&P, and NeurIPS, demonstrating both theoretical rigor and practical impact. No scientific awards are mentioned in the provided information. Dr. Hu has not listed current advisees or major grants in the provided materials, but his active open-source contributions (arkworks, Merkle^2, Gemini) and program committee service for Asiacrypt 2023 and USENIX Security 2024 indicate ongoing research leadership. His work shows strong industry relevance through implementations targeting real-world constraints in IoT and decentralized systems. During his doctoral work at UC Berkeley's RISE Lab, he contributed to security-focused systems research. At Shanghai Jiao Tong University, he leads research advancing cryptographic protocols for next-generation applications, with particular emphasis on making zero-knowledge proofs accessible across diverse computing environments through projects like the arkworks ecosystem.
Tim Würtele is a Ph.D. researcher at the Institute of Information Security at the University of Stuttgart. His work focuses on formal security analysis of cryptographic protocols, particularly those underpinning critical web standards like OAuth 2.0, OpenID Connect, FAPI, ACME, and Web Payment APIs. He has contributed to identifying and mitigating vulnerabilities in these protocols, collaborating with standardization bodies such as the OpenID Foundation and W3C. University of Stuttgart Würtele's research interests include web security , cryptographic protocol verification , and formal methods for analyzing real-world implementations. His work addresses both theoretical and practical security flaws in protocols used by billions of users globally, spanning high-risk sectors like open banking and healthcare. He has published extensively in top-tier venues such as IEEE S&P, CCS, and ESORICS, often uncovering critical vulnerabilities and proposing formally verified fixes. In 2025, Würtele co-authored a paper introducing audience injection attacks , a novel class of vulnerabilities in Web-based authentication standards. His 2024 publications focused on fixing and verifying the FAPI 2.0 protocol , while 2023 papers addressed GNAP and layered protocol analysis . Earlier works (2021–2022) scrutinized the ACME certificate management standard and W3C Web Payment APIs , revealing over-charge vulnerabilities and formalizing security guarantees.
Brad Karp is a Professor of Computer Systems and Networks at University College London (UCL) , holding this position since 2005. His career spans multiple institutions and roles, including a Senior Lecturer (2005-2014) and Reader (2007-2014) at UCL, Adjunct Assistant Professor at Carnegie Mellon University , and Senior Staff Researcher at Intel Research Pittsburgh . He earned his PhD in Computer Science from Harvard University (2000) , preceded by an M.Sc. (1995) and B.Sc. (1992) in the same field from Harvard and Yale respectively. Research Interests : Systems security (operating systems, web browsers, application security) Wireless networking (multi-antenna capacity, interference management) Network routing (robustness, low-latency protocols) Distributed systems (DHTs, sensor networks) Scientific Contributions focus on optimizing network performance, enhancing security architectures, and developing practical routing algorithms. His work on gradient compression (2024) and low-latency routing topologies (2018) demonstrates continued relevance in network design. Earlier publications like OpenDHT (2005) and Polygraph (2005) established foundational contributions in distributed systems and security. Awards & Recognition : Royal Society-Wolfson Research Merit Award (2005-2010) Best Paper Award (Usenix 2014) Professional Activities include program committee roles for ACM SIGCOMM (2009, 2011-2017), HotNets (2008-2017), and NSF review panels. He has examined PhD theses at the University of Cambridge (2010) and contributed to the HotNets Steering Committee (2009-2014).
Phillip Rogaway is a Professor in the Department of Computer Science at the University of California, Davis, within the College of Engineering. His work focuses on cryptography and cybersecurity, particularly authenticated encryption, secure communication protocols, and cryptographic definitions. University: University of California, Davis Department: Computer Science Ranks: Professor Rogaway's research spans foundational and applied cryptography, including deterministic encryption, format-preserving encryption, and provable security frameworks. He actively contributes to cryptographic standards like OCB and explores the social and ethical dimensions of cryptographic work. His recent publications emphasize authenticated encryption mechanisms, secure data distribution, and cryptographic efficiency. Rogaway has received grants such as the SaTC: CORE: Small: Crypto-for-Privacy (2017) and participated in workshops like the Dagstuhl Seminar on Symmetric Cryptography (2012). Rogaway also engages in educational advocacy, authoring materials like "Giving Good Talks" (2017) and "Introduction to Modern Cryptography" (2012). His work underscores the importance of aligning cryptographic practices with societal needs.
Paul Stankovski Wagner is an Associate Professor and Senior Lecturer at Lund University's Faculty of Engineering (LTH), Department of Electrical and Information Technology. He serves as a Project Manager for the Department and is affiliated with several research initiatives including ELLIIT: the Linköping-Lund initiative on IT and mobile communication, LTH Profile Area: AI and Digitalization, and the Secure and Networked Systems research group. His research focuses on cryptography and information security , with particular expertise in post-quantum cryptography, lattice-based cryptographic systems, and side-channel analysis. His work spans theoretical foundations of cryptographic security as well as practical implementations for real-world applications. Key research areas include: Learning with Errors (LWE) problem and related algorithms BKW algorithm optimization for lattice-based cryptography Key management systems and secure communication protocols Anonymous credentials and privacy-preserving technologies Post-quantum cryptographic implementations Stream cipher analysis and nonrandomness detection Analysis of his recent publications (2023-2025) reveals a strategic expansion of his research from theoretical cryptography into applied security domains. While maintaining strong contributions to lattice-based cryptography (particularly the LWE problem and BKW algorithm), he has increasingly focused on practical applications in healthcare technology, pharmaceutical research, and vehicle networks. His 2025 paper on hospital-at-home security architecture demonstrates this applied direction, while his 2024 work on NFT frameworks for pharmaceutical R&D shows interdisciplinary innovation at the intersection of blockchain technology and healthcare. Dr. Stankovski Wagner has supervised 8 graduate students and has been involved in multiple significant research projects: SMARTY (2018-2024): A major project on secure software updates for smart cities funded by the Swedish Foundation for Strategic Research Side channels on post-quantum cryptographic algorithms (2017-2023): Dissertation project as assistant supervisor Developing tools for secure software patch deployment (2018-2022): Dissertation project as assistant supervisor Artificial Persons (2021): Advanced study group at Pufendorf IAS He is a core member of the Secure and Networked Systems research group at Lund University, which focuses on developing robust security solutions for emerging networked technologies. The group maintains strong collaborations with industry partners working on IoT security, healthcare technology, and smart city infrastructure.
Behzad Abdolmaleki is an Assistant Professor and member of the Security of Advanced Systems research group at the University of Sheffield . He focuses on cryptographic schemes in post-quantum and quantum settings, with applications to zero-knowledge proofs, cryptocurrencies, and concurrent systems. Previously, he held postdoctoral and senior researcher roles at the Max Planck Institute for Security and Privacy (MPI-SP) and the University of Tartu , and visited institutions like the AIT Austrian Institute of Technology and Friedrich-Alexander University of Erlangen-Nuremberg . Research Interests include constructing secure cryptographic protocols, with a focus on post-quantum foundations, zero-knowledge proofs, blockchain technologies, and universally composable security models. His work bridges theoretical cryptography with practical applications in secure systems. Scientific Awards Best Paper Award at CANS 2021 One of Three Best Papers at ASIACRYPT 2017 Grants DIDShield : A Privacy-Centric Approach to Digital Wallet Security (Innovate UK, 04/2025–07/2025, £22,757, as PI) Academic Services Program Committee member at IACR CiC (2025), ISDIA (2024), ASIACRYPT (2023), and others.
Jim Renshaw is an Associate Professor in the Mathematics department at the University of Southampton, where he conducts research in algebraic semigroup theory with particular emphasis on actions of semigroups and monoids on sets and ordered structures. Renshaw's primary research interests include: Algebraic semigroup theory and its applications Actions of semigroups and monoids on sets and ordered structures Semigroup amalgams and homological classification theory of monoids Flat covers and pre-covers of monoid acts Structure and actions of E-dense and E-inversive semigroups Discrete log problem and its connections with semigroup theory His publication record shows a clear progression in his research focus, beginning with foundational work on semigroup amalgams and flat covers of monoid acts, then expanding to investigate inverse semigroup actions on graphs and trees, and most recently exploring connections between E-dense semigroups and the discrete log problem. His 2024 paper 'Semilattices of stratified extensions' represents the current direction of his research in ordered algebraic structures. Renshaw is actively involved in doctoral supervision, currently mentoring William Lee Warhurst who is pursuing an iPhD in Mathematical Sciences. He has indicated that he is accepting applications from prospective PhD students. His teaching interests are concentrated in algebra and number theory, contributing to the mathematics curriculum at the University of Southampton.
David R. Matos is an Assistant Professor at the College of Engineering, University of Lisbon, and a researcher at the Distributed, Parallel and Secure Systems Group (DPSS) of INESC-ID. He is also a member of the BIG ERA Chair Team. His primary research interests include distributed systems, cybersecurity, and cloud computing, with a specific focus on intrusion recovery mechanisms for cloud environments and microservice architectures. Education: BSc in Informatics Engineering, University of Lisbon MSc in Informatics Engineering, University of Lisbon PhD in Computer Sciences and Engineering, Instituto Superior Técnico His research applies machine learning techniques to associate application requests with database statements, enabling identification and reversal of malicious operations. Key themes include decentralized storage, blockchain recovery, secure communication protocols, and pluggable intrusion recovery systems. David has contributed to projects such as PATI, SITAN, SafeCloud, SEAL, and the BIG ERA Chair. He developed the Rectify system for intrusion recovery in PaaS clouds, which is deployable alongside applications without software modifications.
Wil P.A.J. Michiels serves as a Full Professor in the Mathematics and Computer Science faculty at Eindhoven University of Technology (TU/e), specializing in cryptography and computer security. His research focuses on white-box cryptography, reverse engineering, and attack analysis within secure systems. His research interests span Attack Analysis , Binary Instrumentation , Reverse Engineering , Execution Trace analysis, and Cryptographic Primitive development. His work bridges theoretical cryptography with practical security implementations, particularly in protecting cryptographic algorithms against advanced attacks. Michiels' publication trends reveal deep specialization in white-box cryptography security models, with significant contributions to provable security frameworks and attack mitigation strategies. His research consistently addresses real-world security challenges in cryptographic implementations. Award highlights include: US Patent for Protecting the input/output of modular encoded white-box RSA US Patent for Balanced encoding of intermediate values within a white-box implementation He actively supervises academic work with 15 supervised projects documented and leads the active TKI-HTSM/22.0547/TKI2212P11 RaidarAI project (2021-2027) focused on AI security applications. His research integrates theoretical cryptography with industrial security applications through collaborations with entities like NXP.
Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints
Georgios Keramidas is an Assistant Professor in Computer Architecture at the Department of Informatics, Aristotle University of Thessaloniki . He also holds an Adjunct Professor position at the Hellenic Open University and collaborates with institutions like the University of Peloponnese and University of Patras . Research Interests : Computer Architecture, Memory Systems, Multicore/GPU Design, Low-Power Techniques, Fault-Tolerant Systems His work focuses on cache optimization , energy-efficient computing , and security-aware memory design . Key contributions include DVFS frameworks , reuse-distance prediction , and non-deterministic cache mechanisms . Recent article trends highlight innovations in computation-in-memory , IoT platform components , and security/low-power co-design . Patents on image compression and GPU optimization reflect practical applications of his research. Academic Network : Collaborates with institutions including University of Patras , University of Manchester , and TU Dresden
Jean-Luc Danger is a Professor at TELECOM Paris where he currently heads the Digital Electronic Systems Research Group. He is affiliated with the Secure and Safe Hardware (SSH) Research Team within the Information Processing and Communication Laboratory (LTCI). With a career spanning over three decades in academia after 12 years in industrial research at PHILIPS and NOKIA, Professor Danger has established himself as a leading expert in hardware security and cryptographic implementations. Professor Danger received his degree in electrical engineering from SUPELEC in 1981 before embarking on his industrial career. His academic journey began in 1993 when he joined TELECOM Paris, where he has since made significant contributions to the field of hardware security. His educational background in electrical engineering provided the foundation for his later specialization in secure hardware design and analysis. Professor Danger's research primarily focuses on embedded systems security , physically unclonable functions (PUFs) , side-channel attacks and countermeasures , and fault injection techniques . His work bridges the gap between theoretical cryptography and practical hardware implementations, addressing critical security challenges in modern computing systems. His research has evolved from foundational work on cryptographic algorithms to more recent investigations into hardware Trojans, aging effects on security primitives, and automotive security systems. Professor Danger has been particularly influential in developing methodologies for analyzing and protecting against electromagnetic fault injection attacks and side-channel information leakage. His extensive publication record demonstrates a consistent focus on hardware security challenges, with recent work showing increased attention to automotive security systems, machine learning applications for intrusion detection, and reliability issues in security primitives affected by aging and process variations. The trajectory of his research shows a natural progression from pure cryptographic implementations to more holistic security approaches that consider the entire hardware stack and its vulnerabilities. Through his leadership of the Secure and Safe Hardware research team, Professor Danger has fostered a collaborative environment that bridges theoretical security research with practical hardware implementation challenges. His work has contributed significantly to the development of standardized methodologies for evaluating hardware security and has influenced both academic research and industry practices in secure hardware design.
Edin Omerdic is a Senior Research Fellow at the Department of Electronic and Computer Engineering, University of Limerick, Ireland. His expertise focuses on marine robotics, fault-tolerant control systems, and underwater navigation technologies. Research Interests: Development of advanced control systems for Remotely Operated Vehicles (ROVs) and Unmanned Underwater Vehicles (UUVs) Integration of FPGA-based hardware for high-speed cybersecurity and data processing Design of optical fiber sensors for pressure and depth measurement in marine environments System integration for cyber-physical systems and heterogeneous robotic platforms Applications in offshore renewable energy inspection and maritime emergency response His work emphasizes real-time control allocation, power management, and sensor fusion for long-endurance underwater missions. While no specific awards or students are listed, his research has produced significant publications in marine robotics and embedded systems over two decades.
