Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor (2023)

First Author: Dong, N
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://repositum.tuwien.at/handle/20.500.12708/188870

Type: Conference/Paper/Proceeding/Abstract