Axiomatic hardware-software contracts for security.

Nicholas Mosier Hanna Lachnitt Hamed Nemati Caroline Trippel

Published in: ISCA (2022)

Keyphrases

hardware software
hardware and software
hw sw
embedded systems
design methodology
high performance computing
multi core processors
low cost
access control
neural network
general purpose
hardware design
real time
object oriented
distributed systems
fine grained