Login / Signup
Tobias Jauch
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Spatial Locality
Memory Access
Design Methodologies
Security Management
Top Venues
CoRR
ICCAD
</>
Publications
</>
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)
Philipp Schmitz
,
Tobias Jauch
,
Alex Wezel
,
Mohammad Rahmani Fadiheh
,
Thore Tiemann
,
Jonah Heller
,
Thomas Eisenbarth
,
Dominik Stoffel
,
Wolfgang Kunz
Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses.
CoRR
(2023)
Tobias Jauch
,
Alex Wezel
,
Mohammad Rahmani Fadiheh
,
Philipp Schmitz
,
Sayak Ray
,
Jason M. Fung
,
Christopher W. Fletcher
,
Dominik Stoffel
,
Wolfgang Kunz
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.
ICCAD
(2023)