Disaster Tolerant Wolfpack Geo-Clusters. - Richard S. Wilkins; Xing Du; Robert A. Cochran; Matthias Popp (CLUSTER, 2002)

Server-side verification of client behavior in online games. - Darrell Bethea; Robert A. Cochran; Michael K. Reiter (ACM Trans. Inf. Syst. Secur., 2011)

Toward Online Verification of Client Behavior in Distributed Applications. - Robert A. Cochran; Michael K. Reiter (NDSS, 2013)

Program Boosting: Program Synthesis via Crowd-Sourcing. - Robert A. Cochran; Loris D'Antoni; Benjamin Livshits; David Molnar; Margus Veanes (POPL, 2015)

Server-side verification of client behavior in cryptographic protocols. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (CoRR, 2016)

Symbolic Verification of Remote Client Behavior in Distributed Systems. - Robert A. Cochran (2016)

A System to Verify Network Behavior of Known Cryptographic Clients. - Andrew Chi; Robert A. Cochran; Marie Nesfield; Michael K. Reiter; Cynthia Sturton (NSDI, 2017)