Lucas Deutschmann

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Security Systems

Top Venues

Publications

Lucas Deutschmann, Yazan Kazhalawi, Jonathan Seckinger, Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
Data-Oblivious and Performant: On Designing Security-Conscious Hardware. LATS (2024)
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. DATE (2024)
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. CoRR (2024)
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A Scalable Formal Verification Methodology for Data-Oblivious Hardware. CoRR (2023)
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. CoRR (2023)
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
A New Security Threat in MCUs - SoC-wide timing side channels and how to find them. CoRR (2023)
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
Towards a formally verified hardware root-of-trust for data-oblivious computing. DAC (2022)