TY  - RPRT
TI  - VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
AU  - Anna Lena Duque Antón
AU  - Johannes Müller
AU  - Philipp Schmitz
AU  - Tobias Jauch
AU  - Alex Wezel
AU  - Lucas Deutschmann
AU  - Mohammad Rahmani Fadiheh
AU  - Dominik Stoffel
AU  - Wolfgang Kunz
PY  - 2024
DO  - 10.1145/3676536.3676841
UR  - https://arxiv.org/abs/2407.18679
ID  - 2407.18679
ER  -