Login / Signup
A design and verification methodology for secure isolated regions.
Rohit Sinha
Manuel Costa
Akash Lal
Nuno P. Lopes
Sriram K. Rajamani
Sanjit A. Seshia
Kapil Vaswani
Published in:
PLDI (2016)
Keyphrases
</>
design methodology
case study
design process
database
low cost
formal methods
high assurance