Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Mark Moir
Researcher
PaperProof Engineering with Predicate Transformer SemanticsAuthorship / preprint / 2022PaperEnhancing Accountability and Trust in Distributed LedgersAuthorship / preprint / 2016PaperTowards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended VersionAuthorship / preprint / 2022PaperAn approach to translating Haskell programs to Agda and reasoning about themAuthorship / preprint / 2022PaperFormal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended VersionAuthorship / preprint / 2021PaperHardware extensions to make lazy subscription safeAuthorship / preprint / 2014