Automating Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat Kartik Nagar

Published in: FMCAD (2023)

Keyphrases

distributed systems
cryptographic protocols
distributed data
communication overhead
multi agent
database replication
peer to peer
lightweight
distributed computing
protocol specification
commit protocols
distributed architecture
face verification
database
fault tolerant
computer networks
cooperative
data sets