A Aralex Aachen research explorer

January 01, 2020 conference-paper

Analyzing Hardware Security Properties of Processors through Model Checking

International Conference on VLSI Design and International Conference on Embedded Systems (VLSID)

DOI: 10.1109/vlsid49098.2020.00036 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 21

Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range Feature
2024 IFIP advances in information and communication technology conference-paper Computer Science Security and Verification in Computing

0

citations

1 result

References 0