BFT Protocol Forensics.

Peiyao Sheng Gerui Wang Kartik Nayak Sreeram Kannan Pramod Viswanath

Published in: CCS (2021)

Keyphrases

state machine
lightweight
formal analysis
communication protocol
cryptographic protocols
network protocols
coloured petri nets
image processing
multiscale
vector quantization
security protocols
tcp ip
communication protocols