Lucas Deutschmann

13 papers A* 3A 3B 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
FastPath: A Hybrid Approach for Efficient Hardware Security Verification.
DAC
Lucas Deutschmann, Andres Meza, Dominik Stoffel, Wolfgang Kunz, Ryan Kastner
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
2024 A conf
eXpect: On the Security Implications of Violations in AXI Implementations.
ICCAD
Melisande Zonta-Roudes, Andres Meza, Nora Hinderling, Lucas Deutschmann, Francesco Restuccia, Ryan Kastner, Shweta Shinde
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
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