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

Marco Guarnieriمشاهده پروفایل

دانشیار

• Security and Privacy
• Program Verification
• Programming Languages
• +۳ مورد دیگر

Marco Guarnieri is an Associate Professor at IMDEA Software Institute in Madrid, Spain. His research focuses on the design, analysis, and implementation of practical systems for securely storing and processing sensitive data, with particular emphasis on security at the hardware-software boundary and microarchitectural attacks and defenses. Guarnieri received his PhD in Computer Science in 2017 from ETH Zurich's Institute of Information Security, following an MSc (2012) and BSc (2010) in Computer Engineering from Università degli Studi di Bergamo. His research spans security and privacy, program verification, programming languages, and formal methods. Guarnieri's work has particularly focused on addressing vulnerabilities related to speculative execution (Spectre attacks), side-channel analysis, hardware-software security interfaces, and leakage contracts. His approach often combines formal verification techniques with practical system implementation to develop robust security solutions. Guarnieri's publications reveal a strong focus on microarchitectural security, with recent work addressing secure speculation countermeasures, compiler security guarantees against Spectre attacks, side-channel security of cryptographic implementations, and hardware-software leakage contracts. His research shows a progression from database security early in his career to the hardware-software security boundary that characterizes his current work. Among his notable achievements are a Best Paper Award at CCS 2024 and Distinguished Paper Awards at CCS 2023 and CCS 2022. His paper 'Hardware-Software Contracts for Secure Speculation' also received a Best Paper Award. Guarnieri actively contributes to the academic community through program committee roles, including the PriSC Steering Committee, and has organized events such as PLMW@PLDI 2023. He is seeking talented researchers (interns, PhD students, and postdocs) to join his group at IMDEA Software Institute to work on security at the hardware-software interface.

Johanna Baehrمشاهده پروفایل

پژوهشگر

• Hardware Reverse Engineering
• Hardware Security
• Netlist Analysis
• +۴ مورد دیگر

Johanna Baehr is a researcher at the Chair of Information Security at the Technical University of Munich . Her work focuses on hardware security, reverse engineering, and threat detection. She contributes to academic research and teaching, particularly in the area of IT security fundamentals. Research Interests: Hardware reverse engineering, netlist analysis, hardware trojan identification, and hardware obfuscation. Teaching: Basics of IT security. Recent publications analyze hardware security frameworks, obfuscation techniques, and graph-based partitioning algorithms. Her work addresses vulnerabilities in sequential reverse engineering and cryptographic cores through structural interpretation. She collaborates with colleagues like Alexander Hepp and Georg Sigl on hardware security challenges. Publications: Hardware Honeypot: Setting Sequential Reverse Engineering on a Wrong Track (2024) Fault-Simulation-Based Flip-Flop Classification for Reverse Engineering (2024) Open Source Hardware Design and Hardware Reverse Engineering: A Security Analysis (2022) Post-Quantum Logic Locking (2022)

• Binary Analysis
• Reverse Engineering
• Software Security
• +۷ مورد دیگر

Thorsten Holz is a Professor and Head of the Chair for System Security at Ruhr-University Bochum's Faculty of Computer Science. His research team focuses on critical areas of cybersecurity including binary analysis, automated vulnerability discovery (fuzzing), embedded systems security, and privacy compliance (GDPR). Research Focus: His work spans: Binary analysis & reverse engineering techniques Software security with emphasis on fuzzing and automated vulnerability assessment Security of embedded/IoT systems Privacy mechanisms and GDPR implementation Network and internet security protocols Publication Trends: Recent works (2024-2025) demonstrate strong emphasis on: Advanced fuzzing methodologies for software/hardware systems Security of satellite and aerospace systems Detection of AI-generated media (deepfakes) and LLM vulnerabilities Trusted execution environments (TEEs) and memory corruption defenses Social media/platform security abuses He leads a research group developing cutting-edge tools for vulnerability discovery and security validation, with significant real-world impact in both academic and industry domains.

Ali Abbasiمشاهده پروفایل

استاد

• Embedded Systems Security
• Hardware Security
• Firmware Vulnerability Analysis
• +۳ مورد دیگر

Dr. Ali Abbasi is a tenure-track faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. He leads the Embedded Systems Security (EMSEC) research group, focusing on hardware-software co-design for security, including fuzzing techniques , side-channel analysis , and mission-critical real-time systems . His work bridges cybersecurity , space systems , and automotive security through innovative research. PhD , Eindhoven University of Technology (2017–2018) Postdoctoral Researcher , Ruhr-University Bochum (2019–2021) His research integrates hardware security and systems security , with recent publications addressing firmware vulnerabilities , satellite communication security , and PLC defense mechanisms . Key article trends include: 2025 : Differential testing of video hardware stacks 2024 : Memory safety in bootloaders, space system sandboxing, and industrial control system security 2023 : Standardized metrics for PLC defenses and experimental satellite security analysis Scientific Awards : Distinguished Paper Award, IEEE Symposium on Security and Privacy (2023) He has taught advanced courses on Foundations of Firmware Security (2025), Systems Security (2022–2024), and Reverse Engineering (2023), with practical outcomes including student-led 0-day vulnerability discovery in real-time operating systems.

Frank Karglمشاهده پروفایل

استاد

• Network Security
• Vehicular Ad-Hoc Networks
• Embedded Systems Security
• +۵ مورد دیگر

Prof. Frank Kargl is a full professor and director of the Institute for Distributed Systems at the University of Ulm. He holds a PhD (2003) and habilitation (2009) from Ulm University. Previously, he was an Associate Professor at the University of Twente (Netherlands, 2009–2012) and later an adjunct professor. He has served as vice dean (2013–2016) and dean (2016–2018) of the Faculty of Engineering, Computer Science, and Psychology. His research focuses on network security, vehicular ad-hoc networks, embedded systems, and blockchain privacy. He is a member of ACM, IEEE, and GI. Research interests include mobile/self-organizing networks (e.g., VANETs), security/privacy in IT systems, secure cloud computing, and crypto-currencies. Key projects intersect vehicular networks with privacy/security, embedded system security, and distributed computing frameworks. Publications span network security, zero-trust architectures, automotive cybersecurity, and privacy-preserving systems. Notable contributions include VeReMi datasets for VANET misbehavior detection and frameworks like ZTSFC for secure service chaining. Prof. Kargl chairs the GUC committee at Ulm University and serves on the KIZ committee. His work bridges academic research with real-world applications in automotive systems, IoT, and decentralized technologies.

• Hardware Trojan Design
• Netlist Reverse Engineering
• Neuro Engineering
• +۲ مورد دیگر

Alexander Hepp serves as a Lecturer at the Chair of Security in Information Technology, Technical University of Munich (TUM), where he contributes to both teaching and cutting-edge hardware security research. His current teaching responsibilities include C++ Lab, Embedded Systems and Security, and Strategic Management for Engineers, where he acts as primary lecturer for the latter course. His research centers on hardware trojan design/identification and netlist reverse engineering within the chair's broader security initiatives. His research portfolio demonstrates deep specialization in hardware security vulnerabilities, with emphasis on hardware trojan insertion/detection methodologies and reverse engineering countermeasures. Recent work explores neuro engineering applications and RISC-V-based security implementations, often leveraging open-source hardware frameworks. His publications reveal consistent innovation in hardware obfuscation techniques and netlist analysis tools, addressing critical gaps in pre-silicon security validation. His 12 publications from 2021-2024 show strong focus on hardware security conferences like DATE and DDECS, with recurring themes in trojan detection, reverse engineering challenges, and cryptographic hardware validation. The research trajectory indicates growing emphasis on practical countermeasures against physical attacks and standardized vulnerability assessment frameworks. Scientific Awards: Best Paper Award at DDECS 2022 for 'Hardware Obfuscation of Digital FIR Filters' No verifiable information exists regarding student advising or grant funding in available sources. He operates within Prof. Sigl's research ecosystem which actively pursues projects in fault attacks, IoT security, physical unclonable functions, and post-quantum cryptography implementations, with recent work emphasizing hardware reverse engineering challenges in advanced semiconductor designs.

• Fault Attacks
• Side-Channel Attacks
• Secure Implementations
• +۳ مورد دیگر

Michael Gruber is a researcher and teaching associate at the Lehrstuhl für Sicherheit in der Informationstechnik (Chair for Security in Information Technology) at Technische Universität München (TUM) , under Prof. Georg Sigl. His role involves conducting advanced research in hardware security and teaching specialized courses in cryptographic implementations. Research Focus: Gruber's work centers on fault attacks , side-channel attacks , and secure implementations of cryptographic systems, with applications in embedded security and cryptanalysis . He actively contributes to projects involving hardware reverse engineering , FPGA security , and post-quantum cryptography . Teaching Contributions: He co-leads the SmartCard Laboratory and teaches Secure Implementation of Cryptographic Algorithms , providing hands-on experience in secure hardware design and vulnerability assessment. Publications: Gruber has authored numerous peer-reviewed papers (2017–2024) in top-tier venues like HOST , FDTC , and ASPDAC , focusing on novel attack methodologies and countermeasures for secure hardware. Collaborations: His work often involves collaboration with PhD students and industry partners, as evidenced by co-authored papers with researchers like Matthias Probst, Patrick Karl, and Georg Sigl.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Verification
• Cryptography
• +۹ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University, holding the Kavčić-Moura Chair in Electrical and Computer Engineering and Computer Science. His work bridges theoretical and practical aspects of secure systems verification, focusing on formal methods to ensure rigorous security guarantees. Research Areas: Secure systems, formal verification, cryptography, concurrency, distributed systems Key Contributions: Development of Verus, Leaf, IronFleet, and FastVer2 for verified secure systems Awards: Jay Lepreau Best Paper (OSDI 2025), IEEE Cybersecurity Award for Practice (2024), Distinguished Artifact Award (SOSP 2024) His recent publications demonstrate a focus on scalable formal verification across diverse domains, including Rust programming, WebAssembly sandboxing, and cryptographic protocols. Tools like Verus and OwlC enable provably correct implementations with performance optimizations. Scientific recognition includes: ACM Doctoral Dissertation Award (2011) IEEE Golden Core Recognition (2023) Forbes 30-Under-30 (2011) Sloan Research Fellowship (2018) Multiple best paper awards at USENIX Security, CAV, and IEEE S&P Parno advises PhD students in secure systems and contributes to critical infrastructure projects like Project Everest. His lab develops open-source tools for verified cryptography and systems programming.

Luis Gerhorstمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Operating Systems
• Cyber-Physical Systems
• +۳ مورد دیگر

Luis Gerhorst is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg. He focuses on systems software, embedded systems, energy-efficient computing, and security mitigations against transient execution attacks like Spectre. His work spans kernel-level optimizations, carbon-aware cloud systems, and embedded system resilience. Education: Completed Bachelor's and Master's theses in system software at FAU, focusing on system-call aggregation and Linux kernel interrupt handling. Research Interests: His primary areas include operating systems, distributed systems, and energy-aware resource management. Notable contributions include the AnyCall system-call aggregation framework and VeriFence , a Spectre defense mechanism for BPF programs. He also explores carbon footprint modeling in cloud environments through projects like carbond . Publications: Recent work addresses energy-efficient embedded systems (vNV-Heap), power-failure resilient network stacks (PfIP), and reverse-engineering Wi-Fi drivers for energy analysis. His research often bridges hardware-software co-design and environmental sustainability. Grants/Advising: Supervised over 10+ theses on topics like carbon-aware timers, BPF sandboxing, and Rust-based alternatives to BPF. Active in open-source projects like Linux kernel contributions and GitHub repositories for systems research. Labs/Teams: Member of Lehrstuhl für Informatik 4, collaborating on projects related to system software and embedded systems resilience. Maintains active GitLab/ GitHub repositories for research tools and prototypes.

Tobias Seidlمشاهده پروفایل

استاد

• Bionics
• Biomechanics
• Neuroethology
• +۳ مورد دیگر

Prof. Tobias Seidl serves as Vice Dean at the Westphalian Institute for Bionics within the Department of Mechanical Engineering at the Westphalian University of Applied Sciences in Bocholt, Germany. He has been with the university since January 2011, teaching bionics and sensor technology while leading research in biomimetic applications for robotics and engineering. Education: Bionics studies at Saarbrücken PhD on desert ant navigation systems under Rüdiger Wehner at the University of Zurich with fieldwork in Tunisia Professional experience at the European Space Agency (ESA) in Noordwijk, Netherlands Research Focus: Prof. Seidl's work centers on bionics , translating biological principles into engineering solutions. His expertise spans neuroethology (neural basis of natural behavior), functional morphology (structure-function relationships), and biomechanics . Key application areas include biomimetic robotics inspired by ants and spiders, sensor development, and bio-inspired materials. His research consistently bridges entomology with robotics, aerospace, and materials science to solve complex engineering challenges. Publication Trends: Recent publications (2025-2016) reveal a strong focus on biomimetic applications in robotics, 3D printing, and aerospace. Dominant themes include adaptive biomimetic valves for automotive cooling, force-based path integration in walking robots, hydrophobic surface replication, and satellite deployable structures inspired by insect wings. His work consistently leverages biological observations—particularly from desert ants and spiders—to advance robotic locomotion, adhesion mechanisms, and space technology. Research Infrastructure: As head of the Westphalian Institute for Bionics, Prof. Seidl leads R&D projects such as developing force sensors in ant legs for robotic applications. His institute serves as a hub for interdisciplinary collaboration between biologists and engineers, focusing on translating biological insights into technical innovations for automotive, aerospace, and medical applications.

• Microarchitectural Side-Channel Attacks
• System Security
• CPU Security
• +۶ مورد دیگر

Dr. Michael Schwarz is a tenured faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, where he leads the RootSec research group. Since 2020 he has been investigating microarchitectural side-channel attacks, system security, CPU security, transient-execution vulnerabilities, and corresponding defense mechanisms. He previously served as a post-doctoral researcher (2019–2020) and PhD student (2016–2019) at Graz University of Technology, after earning two master’s degrees in computer science and software engineering with a security focus. Education PhD, Graz University of Technology, 2019 — “Software-based Side-Channel Attacks and Defenses in Restricted Environments” (Advisor: Daniel Gruss) MSc, Computer Science, Graz University of Technology MSc, Software Engineering, Graz University of Technology Research Interests Dr. Schwarz’s work centers on microarchitectural side-channel attacks and system security , spanning: CPU security and transient-execution vulnerabilities (Meltdown, Spectre, Fallout, LVI, ZombieLoad, ÆPIC Leak, CacheWarp) Detection, mitigation, and formal guarantees against microarchitectural leakage Hardware–software co-design for secure operating systems and trusted execution environments Reverse engineering of CPU internals, cache architectures, and prefetchers Browser and web-platform security, including sandbox bypasses and fingerprinting Compiler security and constant-time programming enforcement Scientific Awards & Recognition 2022 Busy Beaver Award for “Foundations of Cybersecurity II” 2021 Busy Beaver Award for “Side-Channel Attacks and Defenses” 2020 EuroSys Roger Needham PhD Award 2019 IEEE S&P Distinguished Paper Award (Spectre) 2019 NSA Best Scientific Cybersecurity Paper Competition Honorable Mention (Meltdown) 2019 Open Exploit Award (Meltdown & Spectre) 2018 CSAW Best Paper Award (Meltdown) 2018 Pwnie Awards: Best Privilege Escalation Bug & Most Innovative Research 2023 USENIX Security Noteworthy Reviewer Award 2023 WOOT Best Paper Award (CustomProcessingUnit) 2022 Pwnie Award for Best Desktop Bug (ÆPIC) 2022 AI 2000 Security & Privacy Honorable Mention 2021 CCSW Best Paper Award & CSAW Best Paper 3rd Place Advising & Collaborations Dr. Schwarz currently mentors numerous PhD students and post-docs within the RootSec group. His collaborations extend across CISPA, Graz University of Technology, and an international network visible through extensive multi-author publications at top-tier venues including USENIX Security, IEEE S&P, ACM CCS, NDSS, ESORICS, DIMVA, ASPLOS, WWW, FC, and specialized microarchitecture security conferences. Labs & Teams He heads the RootSec Research Group at CISPA, whose core mission is to uncover, analyze, and mitigate microarchitectural and system-level security threats. The group maintains close links with industry partners, open-source communities, and policy makers to ensure that research findings are rapidly translated into practical defenses deployed in modern operating systems and processors.

• Artificial Intelligence
• Machine Learning
• Cybersecurity
• +۷ مورد دیگر

Prof. Dr. Mario Fritz is a Professor at Saarland University and faculty member at CISPA Helmholtz Center for Information Security. He serves as a Fellow at the European Laboratory for Learning and Intelligent Systems (ELLIS). His research focuses on Trustworthy Information Processing at the intersection of AI & Machine Learning with Security & Privacy. Mario Fritz leads numerous significant research initiatives including the European Large Open Multi-Modal Foundation Models for Robust Generalization (ELLIOT), European Lighthouse on Secure and Safe AI (ELSA), and multiple projects on privacy-preserving AI applications in healthcare. His work spans security and privacy aspects of large language models, foundation models, and medical AI applications. He has established himself as a leading researcher in trustworthy AI through his extensive publication record and leadership in major collaborative projects. His recent research (2025 publications) demonstrates a strong focus on the security and safety challenges of large language models, including model stealing attacks, causal reasoning capabilities, sampling methods, and privacy risks. His work bridges theoretical foundations with practical applications across multiple domains, particularly in healthcare and cybersecurity. Mario Fritz actively mentors PhD students and Post-Docs, seeking new researchers to join his group. He has been involved in numerous grants and collaborative projects, including those funded by BMBF and the Helmholtz Association, demonstrating his ability to secure substantial research funding and lead large interdisciplinary teams.

• Microarchitectural Attacks
• Side-Channel Attacks
• System Security
• +۳ مورد دیگر

Dr. Michael Schwarz is a tenured professor at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His research focuses on microarchitectural side-channel attacks and system security , with notable contributions to vulnerabilities like Meltdown , Spectre , and ZombieLoad . He leads the RootSec Research Group and is a regular speaker at top-tier conferences including Black Hat and IEEE S&P. PhD in Computer Science from Graz University of Technology (2019) Two master’s degrees in Computer Science and Software Engineering His work spans CPU security , transient execution attacks , and side-channel defenses , with 15 recent publications on topics like cache timing analysis, browser sandbox breaches, and compiler-induced vulnerabilities. Awards include multiple Busy Beaver Awards , Pwnie Awards , and recognition for foundational papers like Meltdown . Collaborated with Daniel Gruss (PhD advisor) Advises on hardware-software security interactions Publications reveal a trend toward microarchitectural attack surfaces and practical exploitation frameworks , often leveraging hardware features (e.g., CPU caches, prefetchers) for security analysis. He has also contributed to secure memory allocation and browser-based fingerprinting research.

• Fault Attacks
• Security for Internet of Things and Cyber Physical Systems
• Physical Unclonable Functions
• +۶ مورد دیگر

Johann Heyszl is a Part-Time Lecturer at the Chair of Security in Information Technology, Technische Universität München (TUM). His academic work focuses on advanced security research areas including hardware security, cryptographic implementations, and emerging threats in cyber-physical systems.

Alexander Wildمشاهده پروفایل

پژوهشگر

• Security Aspects of FPGAs
• Side-Channel Analysis
• Physical Unclonable Functions
• +۳ مورد دیگر

Dr. Alexander Wild is a former researcher at Ruhr-University Bochum's Faculty of Computer Science, affiliated with the Horst Görtz Institute for IT-Security. He completed his Diploma in 'Security in Information Technology' (2006–2012) and held a PhD position (2012–2016) at the Chair for Embedded Security. His research focuses on FPGA security, side-channel analysis, and physical unclonable functions (PUFs). Education: PhD in Embedded Security, Ruhr-University Bochum (2012–2016) Diploma in Security in Information Technology, Ruhr-University Bochum (2006–2012) Research interests include securing FPGAs against side-channel attacks, designing PUF-based authentication mechanisms, and optimizing hardware security countermeasures. His work bridges hardware design with cryptographic applications, emphasizing practical implementations on reconfigurable systems. His publications (e.g., automated EM probe repositioning, GliFreD duplication schemes) highlight contributions to FPGA-based security primitives and PUF reliability. He has collaborated with institutions like the Horst Görtz Institute and co-authored works presented at conferences such as HOST, CHES, and FPL. Affiliated with the Emmy Noether Group and involved in projects like the CAVE research initiative, he emphasizes interdisciplinary approaches to hardware security challenges.