Robert A. Cochran

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 2

Top Topics

Cryptographic Protocols

Behavior Patterns

Top Venues

Publications

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
A System to Verify Network Behavior of Known Cryptographic Clients. NSDI (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
Server-side verification of client behavior in cryptographic protocols. CoRR (2016)
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
Program Boosting: Program Synthesis via Crowd-Sourcing. POPL (2015)
Robert A. Cochran, Michael K. Reiter
Toward Online Verification of Client Behavior in Distributed Applications. NDSS (2013)
Darrell Bethea, Robert A. Cochran, Michael K. Reiter
Server-side verification of client behavior in online games. ACM Trans. Inf. Syst. Secur. 14 (4) (2011)
Darrell Bethea, Robert A. Cochran, Michael K. Reiter
Server-side Verification of Client Behavior in Online Games. NDSS (2010)
Richard S. Wilkins, Xing Du, Robert A. Cochran, Matthias Popp
Disaster Tolerant Wolfpack Geo-Clusters. CLUSTER (2002)