Lucas Deutschmann

According to our database, Lucas Deutschmann authored at least 4 papers between 2022 and 2023.

Collaborative distances:

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

2023

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

CoRR, 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

A Scalable Formal Verification Methodology for Data-Oblivious Hardware.

Lucas Deutschmann, Johannes Müller, 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