Work

Survey of Approaches for Security Verification of Hardware/Software Systems.

Year: 2016

Type: preprint

Source: IACR Cryptology ePrint Archive

Authors: Onur Demir, Wenjie Xiong, Faisal Zaghloul, Jakub Szefer

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2575358363

Cites:

Cited by: 12

Related to: 10