Browsing Vitenskapelige publikasjoner (TN-IDE) by Author "Jehl, Leander"

Now showing items 1-2 of 2

    • An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols 

      Gogada, Hanish; Jehl, Leander; Meling, Hein; Olsen, John Ingve (Chapter, 2023-06)
      HotStuff is a Byzantine fault-tolerant state machine replication protocol that incurs linear communication costs to achieve consensus. This linear scalability promoted the protocol to be adopted as the consensus mechanism ...

    • Formal Verification of HotStuff 

      Jehl, Leander (Chapter, 2021)
      HotStuff is a recent algorithm for repeated distributed consensus used in permissioned blockchains. We present a simplified version of the HotStuff algorithm and verify its safety using both Ivy and the TLA Proof Systems ...