Author image not provided
 Robert A Cochran

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article4.67
Citation Count14
Publication count3
Publication years2008-2017
Available for download2
Average downloads per article491.00
Downloads (cumulative)982
Downloads (12 Months)102
Downloads (6 Weeks)8
Arrow RightAuthor only

See all colleagues of this author

See all subject areas


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

March 2017 NSDI'17: Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation
Publisher: USENIX Association
Citation Count: 0

Numerous exploits of client-server protocols and applications involve modifying clients to behave in ways that untampered clients would not, such as crafting malicious packets. In this paper, we develop a system for verifying in near real-time that a cryptographic client's message sequence is consistent with its known implementation. Moreover, we ...

2 published by ACM
January 2015 POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Publisher: ACM
Citation Count: 11
Downloads (6 Weeks): 4,   Downloads (12 Months): 48,   Downloads (Overall): 254

Full text available: PDFPDF
In this paper, we investigate an approach to program synthesis that is based on crowd-sourcing. With the help of crowd-sourcing, we aim to capture the "wisdom of the crowds" to find good if not perfect solutions to inherently tricky programming tasks, which elude even expert developers and lack an easy-to-formalize ...
Keywords: crowd-sourcing, program synthesis, symbolic automata, regular expressions
Also published in:
May 2015  ACM SIGPLAN Notices - POPL '15: Volume 50 Issue 1, January 2015

3 published by ACM
December 2008 ACM Transactions on Information and System Security (TISSEC): Volume 14 Issue 4, December 2011
Publisher: ACM
Citation Count: 3
Downloads (6 Weeks): 4,   Downloads (12 Months): 54,   Downloads (Overall): 728

Full text available: PDFPDF
Online gaming is a lucrative and growing industry but one that is slowed by cheating that compromises the gaming experience and hence drives away players (and revenue). In this paper we develop a technique by which game developers can enable game operators to validate the behavior of game clients as ...
Keywords: cheat detection, Computer games

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us