| Server-side verification of client behavior in online games D Bethea, RA Cochran, MK Reiter ACM Transactions on Information and System Security (TISSEC) 14 (4), 1-27, 2008 | 71 | 2008 |
| Program boosting: Program synthesis via crowd-sourcing RA Cochran, L D'Antoni, B Livshits, D Molnar, M Veanes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 63 | 2015 |
| Toward Online Verification of Client Behavior in Distributed Applications. RA Cochran, MK Reiter NDSS, 2013 | 11 | 2013 |
| Program boosting including using crowdsourcing for correctness B Livshits, RA Cochran US Patent 9,753,696, 2017 | 10 | 2017 |
| A system to verify network behavior of known cryptographic clients A Chi, RA Cochran, M Nesfield, MK Reiter, C Sturton 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017 | 9 | 2017 |
| Introduction to GPGPU programming J Steele, R Cochran Proceedings of the 45th annual southeast regional conference, 508-508, 2007 | 5 | 2007 |
| Server-side verification of client behavior in cryptographic protocols A Chi, R Cochran, M Nesfield, MK Reiter, C Sturton arXiv preprint arXiv:1603.04085, 2016 | 4 | 2016 |
| Second-order illumination in real-time (student paper) R Cochran, J Steele Proceedings of the 45th annual southeast regional conference, 13-18, 2007 | 4 | 2007 |
| Symbolic verification of remote client behavior in distributed systems RA Cochran III The University of North Carolina at Chapel Hill, 2016 | | 2016 |
| Program Boosting or Crowd-Sourcing for Correctness R Cochran, L D’Antoni, B Livshits | | |
