Robert A. Cochran

According to our database, Robert A. Cochran authored at least 7 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

A System to Verify Network Behavior of Known Cryptographic Clients.

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016

Symbolic Verification of Remote Client Behavior in Distributed Systems.

Robert A. Cochran

PhD thesis, 2016

Server-side verification of client behavior in cryptographic protocols.

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

CoRR, 2016

2015

Program Boosting: Program Synthesis via Crowd-Sourcing.

Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

Toward Online Verification of Client Behavior in Distributed Applications.

Robert A. Cochran, Michael K. Reiter

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

2011

Server-side verification of client behavior in online games.

Darrell Bethea, Robert A. Cochran, Michael K. Reiter

ACM Trans. Inf. Syst. Secur., 2011

2002

Disaster Tolerant Wolfpack Geo-Clusters.

Richard S. Wilkins, Xing Du, Robert A. Cochran, Matthias Popp

Proceedings of the 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 2002