C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Lucas Deutschmann
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Computing Power
Formal Verification
Survey Data
Data Objects
Top Venues
CoRR
DAC
</>
Publications
</>
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)