Hamed Nemati is an Assistant Professor at the Division of Network and Systems Engineering under the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. He was previously a Visiting Assistant Professor at Stanford University and a Research Group Leader at the Helmholtz Center for Information Security (CISPA) , where he also worked as a PostDoc and Research Fellow. Education : PhD in Computer Science from KTH Royal Institute of Technology Research Interests : Security of systems software, formal methods and program logics, interactive theorem proving, machine code analysis, applied machine learning Current Projects : Systematic verification of multi-language security protocols, hardware-software co-design for Spectre mitigation, capability-based access control models Scientific Awards : WASP (Wallenberg AI, Autonomous Systems and Software Program) faculty member Teaching Activities : Formal Methods in Security (Fall 2020-2023) at CISPA/Saarland University Digital Forensics and Incident Response (EP2780) (Fall 2024) at KTH
Guannan Liu is an Assistant Professor of Computer Science at the Colorado School of Mines, specializing in cybersecurity and network security. He holds a Ph.D. in Computer Engineering from Virginia Tech (2023) and a BS from Purdue University (2016). His research focuses on system/network security, human-factor security, cloud computing security, and user authentication mechanisms. He has identified critical vulnerabilities in online services, collaborating with major tech firms to address resource mismanagement issues. Dr. Liu's work has been published in top-tier security conferences. He actively seeks motivated students for cybersecurity research projects. His honors include a Student Travel Grant for DSN 2022 and academic recognition through Dean’s List distinctions. His research bridges theoretical insights with practical impact, particularly in identifying real-world system vulnerabilities through comprehensive measurements. Key areas of exploration include container registry typosquatting, cloud gaming service misuse, DNS query analysis, and acoustic side-channel attacks on IoT devices. His interdisciplinary work integrates software engineering, artificial intelligence, and network measurement techniques to enhance security across diverse systems.
Xuan Zhang serves as Associate Professor in Electrical and Computer Engineering at Northeastern University, leading the Sensory AI Lab since joining in January 2024. Her research bridges computer architecture, integrated circuits, and artificial intelligence to develop miniaturized AI systems for autonomous physical platforms. She earned her PhD in Electrical and Computer Engineering from Cornell University in 2012. Her educational background forms the foundation for her interdisciplinary work spanning hardware and software co-design. Dr. Zhang's research focuses on artificial intelligence hardware, machine vision sensors, and security for autonomous systems. She pioneers techniques for efficient in-sensor computing, analog circuit optimization via machine learning, and hardware-level privacy preservation. Her work addresses critical challenges in energy efficiency, robustness, and security for edge AI deployment, particularly in resource-constrained environments like medical devices and autonomous vehicles. Analysis of her 2023-2025 publications reveals three dominant trends: (1) hardware-accelerated privacy mechanisms for sensors, (2) machine learning-driven analog circuit design automation, and (3) energy-efficient architectures for neural network inference. These works consistently target real-world applications in healthcare, autonomous systems, and semiconductor design. Her accolades include the prestigious NSF CAREER Award (2020) and leadership in a $10 million federal semiconductor initiative. She contributes to national efforts in AI-powered chip design through the National Center for the Advancement of Semiconductor Technology. Dr. Zhang advises graduate researchers in the Sensory AI Lab, securing significant funding for projects spanning hardware security, in-sensor computing, and autonomous system assurance. Her lab collaborates with federal agencies and industry partners on cutting-edge semiconductor research. The Sensory AI Lab operates at the hardware-software interface, developing novel architectures for intelligent edge devices. Current projects include optical privacy preservation, robust analog design tools, and energy modeling frameworks for in-sensor visual computing systems.
Professor Per Stenström is affiliated with the Department of Computer Science and Engineering at Chalmers University of Technology . His research focuses on computer architecture , memory systems optimization , and energy-efficient computing , with significant contributions to DNN accelerator design and cache management . Research Trends : His recent publications emphasize Memory compression techniques for energy efficiency Hardware-software co-design for DNN acceleration Security in microarchitectural optimizations Hybrid memory systems for near-memory computing These works span both theoretical and applied aspects of computer architecture, with a particular focus on data redundancy elimination , parallel processing , and quality-of-service constraints . His work has influenced the development of energy-aware resource management frameworks and resilient EU HPC systems , as evidenced by his long-standing contributions to the field since the early 2010s.
Tarik Graba is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) department. His work focuses on hardware security, embedded systems, and cryptographic implementation. Education: Not explicitly mentioned Current Affiliations: Télécom Paris (Faculty), LTCI, SSH Team His research explores designing secure and reliable integrated systems , with emphasis on managing complexity, power consumption, and flexibility in embedded environments. He contributes to side-channel analysis , lightweight cryptographic algorithms , and hardware-based security mechanisms . The 15 most recent publications highlight his work in lightweight cryptography , hardware security , and embedded system optimization , particularly focusing on RISC-V extensions , side-channel leakage , TRNG circuits , and secure cryptographic processors . Scientific Awards Academic Palms award, Télécom Paris (2021) Tarik Graba collaborates extensively in hardware security research and has advised multiple projects on physical security countermeasures and embedded cryptographic systems . He works with teams like the SSH Laboratory to develop secure hardware architectures.
Saeed Ur Rehman serves as a Senior Lecturer in Cybersecurity and Networking within the College of Science and Engineering at Flinders University. He holds leadership positions as Course Leader for BIT and MIT (Networks and Cybersecurity) programs and Deputy Research Section Lead for Data and Information Sciences. His institutional affiliations include membership in the Centre for Defence Engineering Research and Training and the South Australia Cyber Security Innovation Node (SA Node) Advisory Board. Dr. Rehman's educational background includes: PhD in Electrical and Electronic Engineering from the University of Auckland (2015) Graduate Diploma in Higher Education from Unitec Institute of Technology (2016) Master of Engineering from the University of Auckland (2009) BSc Engineering from Pakistan (2004) His research spans cybersecurity, wireless communication, and network security with specific expertise in physical layer security, satellite communication, visible light communication, and fog computing. Dr. Rehman has developed innovative approaches in RF fingerprinting for device authentication and has contributed to vital sign monitoring technologies using radar systems. His work bridges theoretical security frameworks with practical applications in digital agriculture, vehicular networks, and energy harvesting systems. Analysis of his recent publications reveals a strong focus on emerging security challenges in next-generation networks, particularly addressing vulnerabilities in digital agriculture systems, privacy preservation in fog computing environments, and physical layer security enhancements for 6G networks. His research demonstrates consistent interdisciplinary collaboration across computer science, electrical engineering, and healthcare technology domains. Dr. Rehman has received significant recognition including: IEEE Senior Member status (2016) Fellowship from The Higher Education Academy, UK (2019) Cisco Networking Academy instructor certifications (2019, 2022) PhD Completion Award from University of Auckland (2014) As an active researcher and supervisor, he has secured substantial research funding including AUD$810,000 for the SmartSat CRC project (2020), AUD$150,000 from Defence Innovation Partnership (2023), and multiple grants from Flinders University and New Zealand institutions. He supervises PhD and Master's students in cybersecurity, with completed projects focusing on IoT security and privacy-preserving data aggregation, and current projects exploring intelligent reflective surfaces, RF emitter geolocation, and vehicular data communication frameworks. Dr. Rehman contributes extensively to the academic community as an IEEE Senior Member serving multiple societies, conference chair, journal editorial board member, and peer reviewer for numerous publications in his field.
Michael K. Reiter is a Professor at Duke University in the Department of Computer Science and Department of Electrical & Computer Engineering . He received his Ph.D. in Computer Science from Cornell University (1993) and held academic positions at Carnegie Mellon University and UNC Chapel Hill. Research Focus: Computer and network security, distributed systems, and applied cryptography. Notable Contributions: Pioneering work in Byzantine fault tolerance, malware detection, privacy-preserving protocols, and human-verifiable authentication. Leadership: Founding Technical Director of CyLab at Carnegie Mellon, program committee roles at top security conferences. Recent Publications emphasize: Machine learning security (adversarial training, backdoor detection) Blockchain consensus mechanisms (asynchronous BFT, random beacons) Privacy-enhancing technologies (differential privacy, private set intersection) Side-channel mitigation in cloud environments Awards & Recognition: ACM Fellow (2008) James B. Duke Distinguished Professor
Stefan Rass is a Professor at the Institute of Networks and Security within the Faculty of Engineering & Natural Sciences at Johannes Kepler University Linz (JKU), where he leads the LIT Secure and Correct Systems Lab. As Principal Investigator for FFG-funded projects including reSilienz (digital supply chain resilience, 2023–2025) and ITPUK (AI signature verification, 2022–2024), he bridges theoretical game theory with practical cybersecurity solutions for critical infrastructures and robotics systems. His research spans game-theoretic security models (patrolling games, defense-in-depth strategies), quantum cryptography (QKD network architectures), and cyber deception frameworks like Honeyquest for measuring honeypot effectiveness. Recent work addresses robotics security benchmarking (RobotPerf), cryptographic instruction chaining for control flow protection, and risk assessment methodologies for interdependent infrastructures. His mathematical decision-making approach integrates bounded rationality and stochastic modeling to solve real-world security challenges. Professor Rass actively shapes the field through program committee roles (ARES 2023), peer reviews, and invited talks on security transparency. His current projects focus on cost-benefit-aware monitoring for cyber-physical systems and quantum key distribution standardization, reflecting Austria’s strategic priorities in digital resilience. The LIT Secure and Correct Systems Lab under his direction develops foundational theories while deploying tools for industrial applications, particularly in critical infrastructure protection and secure robotics workflows.
Scott Shriver is an Associate Professor of Marketing at the Leeds School of Business , University of Colorado Boulder . He holds a PhD in Marketing from Stanford University , with additional Master's degrees in Economics and Physics from Stanford, and an MBA from UCLA Anderson School of Management . His research spans online privacy , network effects , sustainability , empirical industrial organization , and applied econometrics . Education : PhD (Marketing, Stanford), MA (Economics, Stanford), MA (Physics, Stanford), MBA (UCLA) Shriver's publications appear in Management Science , Marketing Science , and Marketing Letters . His work on GDPR's economic impacts (2024) and ethanol market diffusion (2015) has earned John D.C. Little Awards (2015, 2020) and the Frank M. Bass Dissertation Award (2015). He teaches Customer Analytics across degree levels and Quantitative Marketing in the PhD program. Recent research trends include privacy regulation , multi-channel demand analysis , and user-generated content on digital platforms. Earlier works from his physics background include planetary studies (1994) but his modern focus remains on digital economics and sustainable business practices . Scientific Awards : John D.C. Little Award (2015, 2020) Frank M. Bass Award (2015) Swiss Academy of Marketing Science Award (2014) Shriver advises PhD students and contributes to curriculum development in analytics programs. His personal faculty website hosts working papers and publications. Office hours are held in Koelbel 429 .
Ninghui Li is the Samuel D. Conte Professor and Associate Department Head in the Department of Computer Science at Purdue University. He holds a B.S. from the University of Science and Technology of China and a Ph.D. from New York University. His research focuses on information security, privacy, and database systems, with notable contributions to differential privacy and secure data publishing. He has authored over 200 papers, including influential works like the 2007 t-Closeness paper, and has received multiple awards, including being named an ACM and IEEE Fellow. Li’s academic roles include Editor-in-Chief of ACM Transactions on Privacy and Security (TOPS) and leadership in organizations like ACM SIGSAC. He advises over 30 graduate students and has been instrumental in coaching Purdue’s ICPC teams to top global rankings. His current projects include NSF-funded initiatives like the Center for Distributed Confidential Computing (CDCC) and privacy-focused AI research. Key contributions span privacy-preserving data synthesis, federated learning security, and cybersecurity for IoT systems. He actively contributes to conferences as a program chair and through editorial roles, ensuring advancements in both theoretical and applied security domains.
Yazhou Tu is an Assistant Professor in the Department of Computer Science and Software Engineering at Auburn University. He specializes in Cyber-Physical System Security, Side Channel Analysis, and Privacy in embedded systems. His work focuses on addressing vulnerabilities in sensors, actuators, and IoT devices to enhance security and privacy in critical systems. Education: Ph.D. Computer Science, University of Louisiana at Lafayette M.S. Software Engineering, Tsinghua University B.S. Software Engineering, Wuhan University Research Interests: Dr. Tu’s research explores cutting-edge topics such as adversarial control of embedded systems, acoustic and magnetic side-channel attacks, and privacy risks in robotic and biomedical systems. He develops novel defense mechanisms like ADC-Bank and Transduction Shield to counteract physical signal injection attacks. Key Contributions: His work spans sensor security, IoT exploitation, and healthcare technology, with notable studies on 3D printer IP theft, vehicle control via smart glasses, and keystroke tracking via audio. He also investigates physics-informed ML for porous media and glucose monitoring systems. Awards & Grants: No specific awards or grants listed in the provided data, but his prolific publication record highlights sustained research excellence. Labs & Collaborations: Engaged in Auburn’s Center for Artificial Intelligence and Cybersecurity Engineering and other interdisciplinary initiatives focused on secure embedded systems and cyber-physical infrastructure.
Elena Troubitsyna is a Professor of Computer Science with specialization in Software Engineering at KTH Royal Institute of Technology. Her research focuses on developing dependable, autonomous systems that ensure safety and reliability, particularly in complex environments like self-driving cars and drones. She employs rigorous mathematical modeling and verification techniques to address system complexity and real-time adaptability challenges. Her work emphasizes the co-engineering of safety and security in cyber-physical systems, integrating formal methods such as Event-B modeling with AI-driven solutions. Key research areas include cybersecurity for embedded systems, formal analysis of safety-security interactions, and resilient multi-agent systems. Elena has contributed to advancing methods for autonomous system navigation, fault tolerance, and privacy-preserving microservices architectures. Elena has organized international workshops like SENSEI (Safety-Security Interaction) and published extensively on topics such as model-driven engineering, formal verification of critical systems, and optimizing scheduling for distributed computing. Her research bridges theoretical foundations with practical applications, aiming to enhance societal trust in autonomous technologies.
Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.
Georgios Portokalidis is an Associate Research Professor at IMDEA Software Institute and Visiting Research Professor at Stevens Institute of Technology. He leads research in software systems security with focus on binary analysis, software hardening, and operating system security. His research develops practical defenses against software vulnerabilities through techniques like binary debloating, system call filtering, and hardware-assisted security. Current projects explore Rust language security, processor-assisted protection mechanisms, and vulnerability mitigation through code reduction. Publication trends show evolution from foundational binary analysis to applied security hardening, with recent emphasis on Rust security, hardware-assisted defenses, and real-world system protection. Work demonstrates consistent focus on practical, deployable security solutions. He has supervised numerous PhD students and postdocs, currently mentoring researchers at IMDEA. His group investigates binary analysis, software debloating, and system hardening techniques. Major grants include DARPA YFA (2021-2023) and ONR funding (2017-2022) supporting adaptive binary debloating research. Leads the systems security research group at IMDEA Software Institute, collaborating with international partners. Maintains active research partnerships and regularly contributes to top security conferences as program committee member.
Hoda Maleki is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University's School of Computer and Cyber Sciences. She holds a Ph.D. (2019) and an M.S. in Computer and Information Sciences from the University of Connecticut. Her research focuses on cybersecurity, blockchain technology, digital forensics, and secure access control systems. She has contributed to frameworks like ForensiBlock, exploring blockchain for data provenance and auditability, and has published extensively on topics including machine learning in healthcare cybersecurity and multi-dimensional encryption techniques. Dr. Maleki serves on Augusta University committees including the Faculty Affair Committee and the MS Cybersecurity degree development workgroup. She advises the Women in Cybersecurity Club and the VIVID team. Her professional service includes roles as a grant proposal reviewer for NSF and CICI-NSF, and committee membership for conferences like CCSW'24 and IPDPS. Her recent work emphasizes integrating blockchain with AI for secure systems, such as DLACB (Deep Learning-Based Access Control using Blockchain) and ForensiBlock. Awards include the 2023 Faculty Inclusive Excellence Initiative and 2022 Faculty Recruitment and Retention honors. She teaches advanced courses on cybersecurity topics like secure pollbook systems and cryptographic protocols.
