Topics › Physical Sciences › Computer Science › Artificial Intelligence
Security and Verification in Computing Sign in to save
29
Aachen papers (primary topic)
47
Further papers (secondary topic)
212
Citations
38
Aachen authors
Papers per year
20
21
22
23
24
25
Papers 29
Open in paper search →-
Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range Feature2024 IFIP advances in information and communication technology conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Karol Jaszczyk, Chiara Ghinami, Dominik Germek, Farhad Merchant, +1 more
0citations
Most active Aachen authors
-
Rainer Leupers 7,278 citations overall12 papers
-
Dominik Šišejković 614 citations overall6 papers
-
Lennart M. Reimann 266 citations overall6 papers
-
Stefan Lankes 823 citations overall4 papers
-
Klaus Wehrle 9,521 citations overall3 papers
-
Martin Henze 3,556 citations overall3 papers
-
Jonathan Wiesner 17 citations overall3 papers
-
Eric Wagner 327 citations overall2 papers
-
Moritz Schneider 152 citations overall2 papers
-
Jonathan Klimt 31 citations overall2 papers
-
Antonello Monti 16,820 citations overall1 paper
-
Matthias Jarke 15,600 citations overall1 paper
-
Günther Schuh 11,291 citations overall1 paper
-
Christian Hopmann 4,696 citations overall1 paper
-
Thomas Rose 4,512 citations overall1 paper