Finding trojan message vulnerabilities in distributed systems.

Radu Banabic, George Candea, Rachid Guerraoui

Browse the full ASPLOS paper archive.