Login / Signup
Isaac Doidge
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Coloured Petri Nets
Lightweight
Communication Protocol
Finite State Machines
Top Venues
CoRR
FMBC@CAV
</>
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)