Isaac Doidge

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Coloured Petri Nets

Communication Protocol

Finite State Machines

Top Venues

Publications

Isaac Doidge, Raghavendra Ramesh, Nibesh Shrestha, Joshua Tobkin
Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals. CoRR (2024)
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. CoRR (2024)
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. FMBC@CAV (2024)