Work

Towards a formally verified hardware root-of-trust for data-oblivious computing

Year: 2022

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1145/3489517.3530981

Authors: Lucas Deutschmann, Johannes Müller, Mohammad R. Fadiheh, Dominik Stoffel, Wolfgang Kunz

Institution: University of Kaiserslautern

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4293025157

FWCI: 1.575

Cites: 10

Cited by: 11

Related to: 10