Sign in

An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols.

Hanish GogadaHein MelingLeander JehlJohn Ingve Olsen
Published in: ApPLIED@PODC (2023)
Keyphrases
  • fault tolerant
  • fault tolerance
  • key distribution
  • distributed systems
  • load balancing
  • high availability
  • state machine
  • security protocols
  • safety critical
  • markov random field
  • operating system