Login / Signup
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