Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
Prove It!
Presentations:
What If You Could Actually Trust Your Kernel?
Provable Security: How Feasible Is It?
Toward Practical and Unconditional Verification of Remote Computations
MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms