Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
EXE: Automatically Generating Inputs of Death
Type
D - Journal article
Title of journal
ACM Transactions on Information and System Security
Article number
ARTN 10
Volume number
12
Issue number
2
First page of article
-
ISSN of journal
1094-9224
Year of publication
2008
URL
-
Number of additional authors
4
Additional information
<07>Introduces a novel symbolic execution technique for automatically detecting bugs and security vulnerabilities in real code. ACM TISSEC is the top system security journal. This work has enjoyed wide recognition in both academia and industry: a large number of research groups and industry teams have built on these ideas; authors have given several invited talks and tutorials at conferences, workshops and summer schools (e.g., keynote at ESSoS'12, tutorials at CAV'13, RV'12, SPIN'12). The paper has been studied in several courses at top CS departments (such as Berkeley, CMU, Stanford, Washington, etc.). Led to funding of EPSRC project EP/J00636X/1 £287K.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming Languages and Systems
Citation count
37
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
