Login / Signup
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors.
Lennart M. Reimann
Jonathan Wiesner
Dominik Sisejkovic
Farhad Merchant
Rainer Leupers
Published in:
VLSI-SoC (2023)
Keyphrases
</>
hw sw
embedded processors
hardware software
hardware and software
design methodology
single chip
embedded systems
parallel implementation
model checking
low cost
software development
digital images
access control
formal methods