C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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