Lucas Deutschmann

According to our database, Lucas Deutschmann authored at least 9 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification.

Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Müller, Anna Lena Duque Antón, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the IEEE European Test Symposium, 2025

2024

A Scalable Formal Verification Methodology for Data-Oblivious Hardware.

Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024

Data-Oblivious and Performant: On Designing Security-Conscious Hardware.

Lucas Deutschmann, Yazan Kazhalawi, Jonathan Seckinger, Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 25th IEEE Latin American Test Symposium, 2024

eXpect: On the Security Implications of Violations in AXI Implementations.

Melisande Zonta-Roudes, Andres Meza, Nora Hinderling, Lucas Deutschmann, Francesco Restuccia, Ryan Kastner, Shweta Shinde

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.

Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators.

Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

MCU-Wide Timing Side Channels and Their Detection.

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

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

A New Security Threat in MCUs - SoC-wide timing side channels and how to find them.

Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

CoRR, 2023

2022

Towards a formally verified hardware root-of-trust for data-oblivious computing.

Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022