Automated vulnerability discovery in distributed systems.

Radu Banabic, George Candea, Rachid Guerraoui

Browse the full DSN paper archive.