جست‌وجوی استاد و پژوهشگر

Jim Plusquellicمشاهده پروفایل

استاد

• Hardware-Oriented Security and Trust
• Design for Manufacturability
• VLSI Testing
• +۶ مورد دیگر

Jim Plusquellic is a Professor in the Department of Electrical and Computer Engineering at the University of New Mexico. He holds leadership roles including Director of the Integrated Circuit Hardware Analysis Laboratory (IC-HAL) and President/CEO of IC-Safety, LLC. His research focuses on hardware security, trust, and IoT systems, with contributions to PUF-based authentication and Trojan detection. He has authored/co-authored over 100 refereed publications and holds multiple patents. Plusquellic has been honored with awards such as the IEEE Computer Society's Outstanding Contribution Award and induction into the HOST Hall-of-Fame. Education: Ph.D., Computer Science, University of Pittsburgh, 1997 M.S., Computer Science, University of Pittsburgh, 1995 B.S., Biology, Indiana University of Pennsylvania, 1983 Research & Grants: Lead PI for the "Trusted and Assured Microelectronics Theme" under ASU's SWAP Hub ($2.5M, 2024-2028) NSF-funded projects on hardware security primitives and DFM (e.g., $300K for regional process variation analysis) Industry collaborations with Sandia National Labs, IBM, NASA, and commercial entities Key Contributions: Co-founder of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) Developed PUF-based authentication protocols (e.g., PUF-Cash for digital currency) Authored book chapters on hardware security and Trojan detection Labs & Teams: Integrated Circuit Hardware Analysis Laboratory (IC-HAL) Collaboration with Enthentica Inc. and IC-Safety for hardware security commercialization

Ayesha Khalidمشاهده پروفایل

مدرس ارشد

• Hardware Security
• Post-Quantum Cryptography
• Lattice-Based Cryptography
• +۵ مورد دیگر

Dr. Ayesha Khalid is a Senior Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen’s University Belfast (QUB), leading research in post-quantum cryptography within the Centre for Secure Information Technologies (CSIT). She holds a PhD from RWTH Aachen University (Germany), supported by a DAAD scholarship. Her expertise focuses on secure, efficient hardware/software implementations of lattice-based cryptography for embedded systems and IoT devices. Key research contributions include developing timing-attack resilient Gaussian samplers, lightweight post-quantum schemes for constrained environments, and hybrid quantum-safe communication protocols. She has led EU H2020 projects (SAFECrypto) and Innovate UK initiatives (AQuaSec), and collaborates with institutions like Rolls-Royce and Purdue University. Her work addresses vulnerabilities in cryptographic hardware through side-channel analysis and fault injection countermeasures. Dr. Khalid is an IEEE Senior Member, IACR member, and serves on technical committees for conferences like VLSI-SoC and ISCAS. Awards include the EEECS Teaching Fellowship (2017). She actively contributes to standards development and has delivered tutorials at FPL 2022 and Schloss Dagstuhl seminars. Her research bridges theoretical cryptography with practical implementation challenges in the quantum era. Education: PhD (Magna Cum Laude) in Applied Cryptography from RWTH Aachen University Key Projects: EPSRC UK Quantum Communications Hub, Rolls-Royce Cyber Security Collaboration Expertise: FPGA-based cryptographic accelerators, post-quantum algorithm hardening, and secure embedded systems design

Zhi Zhangمشاهده پروفایل

مدرس

• System Security
• Rowhammer Exploits
• Adversarial Artificial Intelligence
• +۳ مورد دیگر

Zhi Zhang is a Lecturer in the Department of Computer Science and Software Engineering at the University of Western Australia (UWA), affiliated with the UWA Defence and Security Institute. Prior to this role, he worked as a Research Scientist at CSIRO’s Data61. He holds a PhD in Computer Science from the University of New South Wales, focusing on 'Software-only Rowhammer Attacks and Countermeasures.' His research expertise spans system security, rowhammer exploits, adversarial AI, and federated learning security. He has contributed to UN Sustainable Development Goals related to education and innovation. His research focuses on hardware-software co-design vulnerabilities, including rowhammer-based attacks, adversarial machine learning defenses, and data poisoning in federated learning. Notable areas of contribution include interrupt side-channel attacks, thermal event exploitation, and model unlearning mechanisms. He has published extensively in top-tier journals/conferences like IEEE Transactions on Information Forensics and Security, and has received Distinguished Paper Awards in 2023 and 2024. Education: PhD in Computer Science (UNSW, 2021) Key Research Areas: Rowhammer Exploits & Mitigations Adversarial Attacks on DNNs Federated Learning Security Interrupt-Based Side Channels His work bridges theoretical computer security with practical system implementations, addressing critical vulnerabilities in modern architectures. Collaborations span academia and industry, with impactful contributions to hardware-software security domains.

• Cryptography
• Hardware Security
• Side-Channel Analysis
• +۳ مورد دیگر

Maël Gay is a Researcher affiliated with the University of Stuttgart at its Hardware-Oriented Computer Science department. His work focuses on cryptographic hardware security, specializing in side-channel analysis, fault injection attacks, and masking schemes. Role: Researcher Department: Hardware-Oriented Computer Science University: University of Stuttgart Research Interests : Maël investigates vulnerabilities in cryptographic hardware through empirical analysis, with recent work on CRYSTALS-Kyber implementations, neural network applications for leakage detection, and robust error-detection masking schemes. His research combines formal methods with practical testing frameworks like TVLA. Publications : His work spans post-quantum cryptography (2025), side-channel countermeasures (2024), and automated fault attack methodologies (2019), often involving collaborations with Ilia Polian and Tarick Welling. Education : Holds a Dr. rer. nat. (Doctorate in Natural Sciences). Labs/Teams : Affiliated with the Hardware-Oriented Computer Science (HoCoS) group at the University of Stuttgart.

• Hardware Security
• Cryptography
• Fault Attacks
• +۷ مورد دیگر

Sayandeep Saha is an Assistant Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. His research focuses on Hardware Security and Cryptography, with emphasis on Fault Attacks, Side-Channel Attacks, and Post-Quantum Cryptography. He leads the SHarC research group and actively collaborates with international institutions. Education: PhD in Computer Science and Engineering from Indian Institute of Technology Kharagpur Postdoctoral Experience: NTU Singapore (2022-2023), UCLouvain Belgium (2023-2024) His research explores hardware vulnerabilities in cryptographic systems, covering: Fault Attacks on Symmetric and Post-Quantum Cryptosystems Side-Channel Analysis of Power/EM Radiation Microarchitectural Attacks (Spectre/Meltdown variants) Countermeasure Development and Formal Verification Recent research trends include Rowhammer attacks, randomized cache designs, and fault propagation in cryptographic circuits. His work has been recognized in top conferences like ICCAD, USENIX Security, and CHES. Awards: Top Picks in Hardware and Embedded Security 2024 (EUROCRYPT 2020 paper) He is currently hiring Project Research Assistants for the RISC-V-based SISHAM project and supervises PhD students in hardware security research.

Pierre-Evariste Dagandمشاهده پروفایل

پژوهشگر

• Formal Verification
• Programming Languages
• Theorem Proving
• +۵ مورد دیگر

Pierre-Evariste Dagand is a CNRS Researcher at IRIF, Université de Paris, where he is a member of the Proofs, Programs, and Systems group. His research focuses on enhancing the safety of systems software through the application of domain-specific languages and formal verification techniques, particularly leveraging interactive theorem provers. His research interests span several areas of computer science, including: Formal Methods : Using rigorous mathematical techniques to verify software and hardware systems Programming Languages : Designing and implementing languages with a focus on safety and correctness Compilers : Developing verified compilers for domain-specific languages and synchronous languages Type Theory : Exploring dependent types and their applications in verification Operating Systems : Contributing to the design of systems for multicore architectures Cryptography : Creating high-throughput cryptographic implementations via formal methods Dagand's publications demonstrate a consistent focus on formal verification and theorem proving applied to practical systems. His work frequently involves the Coq proof assistant and addresses challenges in compilers, cryptography, and systems programming. Recent trends include the development of tools for secure cryptographic implementations (e.g., Usuba and Tornado) and formal models for intermittent computing. He has advised numerous students in internships, working on projects related to formal methods, compilers, and cryptography. These internships have contributed to various research outputs and tools. Dagand is part of the Proofs, Programs, and Systems group at IRIF, which focuses on foundational aspects of computer science and their application to software verification and language design.

Yuval Yaromمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Microarchitectural Attacks
• +۳ مورد دیگر

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).

• Cyber-physical system security
• Smart Grid security
• Networked systems algorithms
• +۳ مورد دیگر

Binbin Chen is an Associate Professor in Information Systems Technology and Design at Singapore University of Technology and Design (SUTD). His research focuses on enhancing the security and efficiency of interconnected systems like cyber-physical systems and IoT networks. Prior to his current position, he earned a PhD from National University of Singapore (NUS) and a Bachelor's from Peking University, both in Computer Science. Key research areas include smart grid security, networked systems algorithms, and safety-security co-analysis. Notable contributions include work on RFID protocols, fault-tolerant distributed systems, and secure substation control mechanisms. His research has been funded by Singapore's Energy Market Authority (EMA), A*STAR, and the Singapore Cybersecurity Consortium. Publications highlight advancements in secure substation command delaying, privacy-preserving electricity data sharing, and fault-tolerant aggregate function computation. He leads development of tools like CyberSAGE for cyber-physical system security assessment and SoftGrid for substation cybersecurity testing. Received Best Paper Award at ACM SIGCOMM 2010 Contributed to over 30 peer-reviewed journal/conference publications Active in professional service including journal reviewing and conference organization Current research emphasizes integrating security and safety engineering principles in critical infrastructure systems, with particular focus on railway and smart grid resilience.

Laurent Sauvageمشاهده پروفایل

مدرس

• Hardware Security
• Embedded Systems
• Cryptography
• +۴ مورد دیگر

Laurent Sauvage 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) and Communications and Electronics (Comelec) department. His work focuses on hardware security, fault injection attacks, and side-channel analysis in cryptographic systems. Research Interests: Hardware security, fault injection attacks, side-channel analysis, and embedded systems. Laboratory: LTCI (Information Processing and Communication Laboratory), Télécom Paris. Publications: Recent works include advancements in masked implementations, EM fault injection models, and countermeasures against cryptographic vulnerabilities.

• Cryptography
• Privacy-Preserving Technologies
• Secure Computation
• +۳ مورد دیگر

Ágnes Kiss is a Researcher at the Department of Computer Science, Technical University of Darmstadt, Germany. She earned her PhD in 2021 with a thesis titled Efficient Private Function Evaluation . Her research focuses on cryptographic protocols, privacy-preserving technologies, and secure computation, with applications in distributed systems and real-world security challenges. Her work spans topics such as private function evaluation (PFE), universal circuit design, and privacy-preserving location proximity schemes. She has contributed to advancing secure computation efficiency and resistance against side-channel attacks. Her publications appear in top venues like Journal of Cryptology , EUROCRYPT , and USENIX Security Symposium . Key areas of interest include cryptography, algorithmic countermeasures, and the practical implementation of secure protocols. Her recent work addresses security risks in scripting languages and explores trustworthy AI inference systems, reflecting her commitment to both theoretical and applied cryptography.

Phuong Minh Caoمشاهده پروفایل

پژوهشگر

• Cybersecurity
• High-Performance Computing Security
• Network Traffic Analysis
• +۵ مورد دیگر

Phuong Minh Cao is a Cyber Security Research Specialist at the National Center for Supercomputing Applications (NCSA) within the University of Illinois at Urbana-Champaign, where he focuses on securing high-performance computing (HPC) cyberinfrastructure against both accidental failures and intentional cyberattacks. His work leverages network traffic measurements, probabilistic models for cyberattack detection, and formal verification of authentication protocols. As a National Science Foundation Trusted CI Fellow, he provides critical security expertise to research and education partners including the FABRIC testbed. His research expertise spans cybersecurity, high-performance computing security, and quantum-resistant cryptography. Key interests include intrusion detection systems, security testbed development, formal verification methods, and post-quantum cryptography migration. His work bridges theoretical security frameworks with practical HPC infrastructure protection, particularly addressing vulnerabilities in scientific computing environments and emerging quantum threats. Dr. Cao's publication trends reveal a strategic evolution from foundational work in SSH security and authentication protocols toward cutting-edge research in quantum-resistant cryptography and classical-quantum computing integration. His recent focus demonstrates significant contributions to HPC security frameworks, attack taxonomy development, and preemptive defense mechanisms against sophisticated cyber threats targeting research infrastructure. Best Paper Award Best Hackathon Award Outstanding Mentor for Fiddler Innovation Fellowship As an NSF Trusted CI Fellow, Dr. Cao actively contributes security expertise to national research infrastructure projects. His work with the FABRIC testbed exemplifies his commitment to developing preemptive security solutions for advanced cyberinfrastructure. Through mentorship programs like the Fiddler Innovation Fellowship, he cultivates next-generation cybersecurity talent while advancing practical security implementations for scientific communities. Dr. Cao leads security initiatives within NCSA's cyberinfrastructure research, developing specialized testbeds for preempting attacks against supercomputing infrastructure. His work integrates with broader university research ecosystems while maintaining focus on real-world security challenges facing national scientific computing resources.

Koushik Chakrabortyمشاهده پروفایل

استاد

• Computer Architecture
• Near-Threshold Computing
• Hardware Security
• +۳ مورد دیگر

Koushik Chakraborty is a Professor in Electrical and Computer Engineering at Utah State University. His research focuses on computer architecture, energy-efficient near-threshold computing systems, and hardware security. He holds a PhD from the University of Wisconsin-Madison and has received multiple best paper awards. Research encompasses fault-tolerant architectures, hardware security countermeasures, and machine learning accelerators. Recent work develops timing error-resilient systems for deep learning hardware and security frameworks for neuromorphic computing. His group investigates voltage noise mitigation in network-on-chip designs and process variation-aware GPU architectures. Dr. Chakraborty teaches courses in Computer Architecture, Systems Programming, and VLSI Design. He has mentored over 18 graduate students and received teaching recognition including the 2010 Outstanding Undergraduate Mentor Award.

Amir Moradiمشاهده پروفایل

استاد

• Side-Channel Analysis
• Hardware Security
• Cryptographic Implementations
• +۲ مورد دیگر

Amir Moradi is Professor for Implementation Security at TU Darmstadt. His research focuses on hardware security with emphasis on side-channel analysis, fault injection attacks, and secure implementation of cryptographic primitives. Key research areas include: Development of countermeasures against physical attacks Efficient cryptographic implementations for constrained devices Hardware Trojan detection and prevention Automated verification of secure hardware designs He leads multiple DFG-funded projects including nano-scale side-channel analysis and long-term security for trusted platforms. Recent work demonstrates innovations in hardware masking techniques and automated security verification. Professor Moradi has received numerous awards including the IEEE S&P Distinguished Paper Award (2023), German IT Security Award (2022), and CHES Best Paper Award (2019). He serves on program committees of major security conferences including CHES, EUROCRYPT, and ASIACRYPT.

Cristian Eneمشاهده پروفایل

پژوهشگر

• Formal Verification
• Computer Security
• Cryptography
• +۴ مورد دیگر

Cristian Ene is a Researcher at Grenoble Alpes University and a member of the VERIMAG Laboratory. He holds a PhD in Computer Science (2001) from Grenoble Alpes University. His primary roles include teaching and conducting research in formal verification of cryptographic protocols, computer security, and distributed systems. He is actively involved in developing automated tools for cryptographic protocol analysis, such as contributions to the Tamarin Prover framework. Research Interests : His work focuses on formal methods for verifying cryptographic systems, including model counting, security protocol analysis, and decidability in process calculi. He explores topics such as information flow control, fault-injection countermeasures, and automated theorem proving for asymmetric encryption. Publications : His recent work spans formal verification techniques, optimization in Max#SAT solving (e.g., BaxMC), and cryptographic protocol analysis. Earlier contributions include foundational studies on process decomposition in π-calculus and formal security models in the random oracle framework. Teaching : He teaches courses on cryptographic engineering, formal verification of security protocols, programming languages, and compiler design. Course materials include slides, assignments, and practical exercises using tools like Tamarin Prover. Labs & Teams : He is affiliated with the VERIMAG Laboratory, which specializes in formal methods and embedded systems research. His work integrates theoretical foundations with practical applications in secure system design and automated verification.

Selçuk Köseمشاهده پروفایل

استاد

• Hardware Security
• On-Chip Power Delivery
• Cryogenic Electronics
• +۳ مورد دیگر

Selçuk Köse is a Full Professor in the Department of Electrical and Computer Engineering at the University of Rochester. Previously, he held positions at the University of South Florida as an Assistant Professor (2012-2018) and Associate Professor (2018-2019). He earned his B.Sc. from Bilkent University (2006), M.S. and Ph.D. from the University of Rochester (2008 and 2012, respectively). His research focuses on hardware security (side-channel attacks, fault injection, PUFs), on-chip power delivery, cryogenic electronics, graphene nanoribbon transistors, and nature-inspired computing (e.g., Ising machines). He has received prestigious awards including the NSF CAREER Award (2014) and Cisco Research Awards (2015–2017). His recent work emphasizes security in quantum computing interfaces, power delivery networks, and covert channel mitigation. Research funding comes from NSF, DARPA, DoE, and industry partners. He serves as an associate editor for IEEE and Springer journals.