Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
2
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.
dfence achieves robust protection against Spectre attacks with less than 1% performance overhead, revolutionizing CPU security without extensive hardware changes.