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 →-
Designing Secure and Privacy-Preserving Information Systems for Industry Benchmarking2023 Lecture notes in computer science conference-paper Computer Science Security and Verification in Computing cited by 1 patent
Jan Pennekamp, Johannes Lohmöller, Eduard Vlad, Niklas Rodemann, Patrick Sapel, Ina Berenice Fink, +5 more
7citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
1citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
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