Less is more: refinement proofs for probabilistic proofs

No ratings

Presented at IEEE Symposium on Security and Privacy 44 by

Michael Walfish

Kunming Jiang

Devora Chait-Roth

Zachary DeStefano

Thomas Wies

N/A