Sign in Get started

OSDI2025

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols

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

9 citations

Ask about this paper using Lune

Connect your AI agents to Lune, then ask anything about this paper: its methods, results, limitations, and how it relates to the wider literature.

© 2026 Retrograde Labs