Automated Attacker Synthesis for Distributed Protocols.

Max von Hippel Cole Vick Stavros Tripakis Cristina Nita-Rotaru

Published in: SAFECOMP (2020)

Keyphrases

distributed systems
cooperative
distributed environment
multi party
semi automated
neural network
fault tolerant
communication overhead
multi agent
sensor networks
real time
data sets
peer to peer
automated analysis
commit protocols
database replication