BFT Protocol Forensics.

Peiyao Sheng Gerui Wang Kartik Nayak Sreeram Kannan Pramod Viswanath

Published in: CoRR (2020)

Keyphrases

lightweight
state machine
formal analysis
security analysis
communication protocols
file transfer
coloured petri nets
neural network
electronic commerce
key distribution
digital forensics
network protocols