Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations.

Hyojeong Lee, Jeff Seibert, Md. Endadul Hoque, Charles Killian, Cristina Nita-Rotaru

Browse the full ICDCS paper archive.