Papers matching “hardware design automation” 39
Not finding it? Sign in to also search OpenAlex live.
-
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 International VLSI Symposium on Technology, Systems and Applications (VLSI-TSA) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
5citations -
QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL2024 arXiv (Cornell University) preprint Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Lennart M. Reimann, Anschul Prashar, Chiara Ghinami, Rebecca Pelke, Dominik Šišejković, Farhad Merchant, +1 more
0citations -
Quantitative Information Flow for Hardware: Advancing the Attack Landscape2023 IEEE Latin America Symposium on Circuits and Systems (LASCAS) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Lennart M. Reimann, Sarp Erdönmez, Dominik Šišejković, Rainer Leupers
6citations -
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 -
Hardware Security Primitives Using Passive RRAM Crossbar Array2023 Asia and South Pacific Design Automation Conference (ASP-DAC) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Simranjeet Singh, Furqan Zahoor, Gokul Rajendran, Sachin Patkar, Anupam Chattopadhyay, Farhad Merchant
10citations -
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 -
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 -
Vertical IP Protection of the Next-Generation Devices: Quo Vadis?2021 Design, Automation, and Test in Europe conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Šišejković, +4 more
8citations -
Designing ML-resilient locking at register-transfer level2022 Proceedings - ACM IEEE Design Automation Conference conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Dominik Šišejković, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers
6citations -
ConfASR: A Conformer Block Accelerator for Speech Recognition Optimized for Edge Devices2026 Asia and South Pacific Design Automation Conference (ASP-DAC) conference-paper Computer Science Advanced Neural Network Applications
Malte Wabnitz, M. Nilovic, Finn Scholz, Dominik Friedrich, Christian Lanius, Jie Lou, +1 more
1citations -
Introducing Instruction-Accurate Simulators for Performance Estimation of Autotuning Workloads2025 Proceedings - ACM IEEE Design Automation Conference conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Rebecca Pelke, Nils Bosbach, Lennart M. Reimann, Rainer Leupers
0citations