Author image not provided
 Robert A Cochran

Authors:
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
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

1
March 2017 NSDI'17: Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation
Publisher: USENIX Association
Bibliometrics:
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
Bibliometrics:
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
Bibliometrics:
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