TY  - RPRT
TI  - SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
AU  - Lennart M. Reimann
AU  - Jonathan Wiesner
AU  - Dominik Sisejkovic
AU  - Farhad Merchant
AU  - Rainer Leupers
PY  - 2023
UR  - https://arxiv.org/abs/2308.02694
ID  - 2308.02694
ER  -