Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range Feature

IFIP advances in information and communication technology, pp. 251–272

Authors 7

1. Lennart M. Reimann corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

2. Jonathan Wiesner Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

3. Karol Jaszczyk Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

4. Chiara Ghinami Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

5. Dominik Germek

   Robert Bosch (Germany)

   Affiliation as printed

   Corporate Research, Robert Bosch GmbH, Hildesheim, Germany

6. Farhad Merchant

   Newcastle University

   Affiliation as printed

   Newcastle University, Newcastle upon Tyne, UK

7. Rainer Leupers Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany