Work

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-48989-6_30

Authors: Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

Institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, CentraleSupélec

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2551993573

FWCI: 0.872

Cites: 14

Cited by: 8

Related to: 10