Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow's Advanced Memory Range Feature. - Lennart M. Reimann; Jonathan Wiesner; Karol Jaszczyk; Chiara Ghinami; Dominik Germek; Farhad Merchant; Rainer Leupers (VLSI-SoC (Selected Papers), 2023)