Johannes Müller

17 papers A* 5A 2B 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification.
ETS
Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Müller, Anna Lena Duque Antón, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 A conf
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.
DATE
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 J jnl
A Scalable Formal Verification Methodology for Data-Oblivious Hardware.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 — conf
Data-Oblivious and Performant: On Designing Security-Conscious Hardware.
LATS
Lucas Deutschmann, Yazan Kazhalawi, Jonathan Seckinger, Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 A* conf
MCU-Wide Timing Side Channels and Their Detection.
DAC
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz
2024 A conf
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.
ICCAD
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 J jnl
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.
CoRR
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.
CoRR
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
A New Security Threat in MCUs - SoC-wide timing side channels and how to find them.
CoRR
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
A Scalable Formal Verification Methodology for Data-Oblivious Hardware.
CoRR
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
IEEE Trans. Computers
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2023 A* conf
Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees.
USENIX Security Symposium
Dino Mehmedagic, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation.
IEEE Access
Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2022 A* conf
Towards a formally verified hardware root-of-trust for data-oblivious computing.
DAC
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2021 A* conf
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level.
DAC
Johannes Müller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antón, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz
2021 J jnl
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.
CoRR
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
2020 A* conf
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors.
DAC
Mohammad Rahmani Fadiheh, Johannes Müller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz