Not finding it? Sign in to also search OpenAlex live.
-
The Impact of Logic Locking on Confidentiality: An Automated Evaluation2025 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Lennart M. Reimann, Evgenii Rezunov, Dominik Germek, Luca Collini, Christian Pilato, Ramesh Karri, +1 more
1citations -
The Impact of Logic Locking on Confidentiality: An Automated Evaluation2025 International Symposium on Quality Electronic Design (ISQED) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Lennart M. Reimann, Evgenii Rezunov, Dominik Germek, Luca Collini, Christian Pilato, Ramesh Karri, +1 more
0citations -
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 -
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 -
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
11 results