A Aralex Aachen research explorer

May 01, 2016 conference-paper Open access

Scalable SoC trust verification using integrated theorem proving and model checking

IEEE International Symposium on Hardware Oriented Security and Trust (HOST)

DOI: 10.1109/hst.2016.7495569 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 3 stored of 49

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
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing

1

citations
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog
2021 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

26

citations

3 results

References 0