Automated Attacker Synthesis for Distributed Protocols.

Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru

Browse the full SAFECOMP paper archive.