Papers matching “hardware security” in Security and Verification in Computing 22
Not finding it? Sign in to also search OpenAlex live.
-
It's Getting Hot in Here: Hardware Security Implications of Thermal Crosstalk on ReRAMs2024 IEEE Transactions on Reliability article Computer Science Security and Verification in Computing
Felix Staudigl, Hazem Al Indari, Hsin-Yu Chen, Dominik Šišejković, Jan Moritz Joseph, Vikas Rana, +3 more
7citations -
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog2021 Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Luca Hanel, Dominik Šišejković, Farhad Merchant, Rainer Leupers
26citations -
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 -
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 -
Trusted Configuration in Cloud FPGAs2021 IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) conference-paper Computer Science Security and Verification in Computing
Shaza Zeitouni, Jo Vliegen, Tommaso Frassetto, Dirk Koch, Ahmad‐Reza Sadeghi, Nele Mentens
30citations -
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 -
Dissecting the Performance Impact of System Calls2026 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Security and Verification in Computing Open access
M. Kröning, Vincent Feinendegen, Stefan Lankes, Sarah Simon, Jonathan Klimt, Antonello Monti
0citations -
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
22 results