"Finding trojan message vulnerabilities in distributed systems."

Radu Banabic, George Candea, Rachid Guerraoui (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics