Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols.

Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno

Browse the full OSDI paper archive.