Symbolic Execution (EXE system)
-
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for
Complex Systems Programs
Cristian Cadar, Daniel Dunbar, Dawson Engler
USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008)
Awarded the Jay Lepreau Best Paper Award
San Diego, CA, December 2008
-
EXE: Automatically Generating Inputs of Death
Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler
ACM Transactions on Information and System Security (TISSEC)
Volume 12, No. 2, December 2008
This is an extended version of our CCS 2006 paper
-
RWset: Attacking Path Explosion in Constraint-Based Test Generation
Peter Boonstoppel, Cristian Cadar, Dawson Engler
ETAPS Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
Budapest, Hungary, March-April 2008
-
EXE: Automatically Generating Inputs of Death
Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler
ACM Conference on Computer and Communications Security (CCS 2006)
Alexandria, Virginia, October-November 2006
-
Automatically Generating Malicious Disks using Symbolic Execution
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson Engler
IEEE Symposium on Security and Privacy (Oakland Security 2006)
Berkeley/Oakland, California, May 2006
-
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Cristian Cadar, Dawson Engler
International SPIN Workshop on Model Checking of Software (invited paper)
San Francisco, CA, August 2005
A longer version of this paper appeared as Stanford Technical Report
CSTR-2005-04
Software Reliability
-
Preventing memory error exploits with WIT
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
IEEE Symposium on Security and Privacy (Oakland Security 2008)
Berkeley/Oakland, California, May 2008
-
Data Randomization
Cristian Cadar, Periklis Akritidis, Manuel Costa, Jean-Phillipe Martin, Miguel Castro
Microsoft Research TR-120-2008
-
Exploring the Acceptability Envelope
Martin Rinard, Cristian Cadar, Huu Hai Nguyen
Conference on Object-Oriented Programming Systems, Languages, and Applications Companion (OOPSLA 2005 Companion)
San Diego, CA, October 2005
-
Enhancing Server Availability and Security Through Failure-Oblivious Computing
Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel Roy, Tudor Leu, William Beebee Jr.
USENIX Symposium on Operating Systems Design and Implementation (OSDI 2004)
San Francisco, CA, December 2004
-
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)
Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel Roy, Tudor Leu
Annual Computer Security Applications Conference (ACSAC 2004)
Tucson, AZ, December 2004
-
Efficient Specification-Assisted Error Localization
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin Rinard
International Workshop on Dynamic Analysis (WODA 2004)
Edinburgh, Scotland, May 2004
Books
-
Information Technology
Cristian Cadar and Valentin Gheorghita
ISBN: 973-98770-9-5, 256 pages, 1999
ISBN: 973-97534-4-2, 247 pages, 2000
Coordinators: Prof. N. Tapus and Prof. V. Iorga
Miscellaneous
|
