Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
22
This work develops a formal framework for reasoning jointly about capability safety, speculative execution, and information-flow security, and presents SCHERI, a new processor design that formally proves that it provides end-to-end secure speculation guarantees for the constant-time policy.