Auncel: Fair Byzantine Consensus Protocol with High Performance.

Wuhui Chen Yikai Feng Jianting Zhang Zhongteng Cai Hong-Ning Dai Zibin Zheng

Published in: INFOCOM (2024)

Keyphrases

fault tolerant
lightweight
formal analysis
high reliability
real time
data sets
authentication protocol
application layer
scientific computing
cryptographic protocols
network simulator
communication protocols
coloured petri nets