Lucas Deutschmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DAC | FastPath: A Hybrid Approach for Efficient Hardware Security Verification. | Lucas Deutschmann, Andres Meza, Dominik Stoffel, Wolfgang Kunz, Ryan Kastner |
| 2025 | ETS | Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. | Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Mller, Anna Lena Duque Antn, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | DAC | MCU-Wide Timing Side Channels and Their Detection. | Johannes Mller, Anna Lena Duque Antn, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz |
| 2024 | DATE | A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. | Anna Lena Duque Antn, Johannes Mller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | ICCAD | VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. | Anna Lena Duque Antn, Johannes Mller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | ICCAD | 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 |
| 2022 | DAC | Towards a formally verified hardware root-of-trust for data-oblivious computing. | Lucas Deutschmann, Johannes Mller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |