Cayman Nava

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Multiple Faults

Automated Theorem Proving

Top Venues

Publications

Willem C. Olding, Eric Tu, Cayman Nava
Zipline - A Fault-Proof Blocker Header Oracle. ICBC (2023)