Papers matching “RISC-V” in Security and Verification in Computing 8
Not finding it? Sign in to also search OpenAlex live.
-
A secure hardware-software solution based on RISC-V, logic locking and microkernel2020 International Workshop on Software and Compilers for Embedded Systems (SCOPES) conference-paper Computer Science Security and Verification in Computing
Dominik Šišejković, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß
21citations -
Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core2021 Design, Automation, and Test in Europe conference-paper Computer Science Security and Verification in Computing
Nils Wistoff, Moritz Schneider, Frank K. Gürkaynak, Luca Benini, Gernot Heiser
16citations -
iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors2020 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Security and Verification in Computing Open access
Rens Dofferhoff, Michael G. Goebel, Kristian F. D. Rietveld, Erik van der Kouwe
11citations -
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 -
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
8 results