Automated Attacker Synthesis for Distributed Protocols.

Max von Hippel Cole Vick Stavros Tripakis Cristina Nita-Rotaru

Published in: CoRR (2020)

Keyphrases

distributed systems
semi automated
fully automated
data sources
distributed data
communication protocols
data sets
web services
cooperative
lightweight
distributed databases
multi party
automated analysis
heterogeneous environments
concurrency control protocols
commit protocols