Hi, I'm a PhD student in the Department of Computer Science at the University of North Carolina at Chapel Hill. I am interested in symbolic execution and systems security. My advisor is Michael Reiter.

publications

• Toward Online Verification of Client Behavior in Distributed Applications
  R. Cochran and M. K. Reiter.
  To appear in The 20th Annual Network and Distributed System Security Symposium (NDSS '13), San Diego, CA, February 24–27, 2013.


• Server-side verification of client behavior in online games.
  D. Bethea, R. Cochran and M. K. Reiter.
  In ACM Transactions on Information and System Security, 14(4), December 2011.


• Server-side verification of client behavior in online games.
  D. Bethea, R. Cochran and M. K. Reiter.
  In Proceedings of the 17th ISOC Network and Distributed System Security Symposium (NDSS '10), February 2010.
  Received Best Paper Award.


• Second-order illumination in real-time.
  R. Cochran. and J. Steele.
  In Proceedings of the 45th Annual ACM Southeast Regional Conference, March 2007.
  Received Best Student Paper Award.