Lisandra Silva

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Formal Verification

Top Venues

Publications

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. NFM (2022)
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
An approach to translating Haskell programs to Agda and reasoning about them. CoRR (2022)
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. CoRR (2022)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. CoRR (2021)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal verification of authenticated, append-only skip lists in Agda. CPP (2021)