Symbolic Execution (EXE system)
-
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
-
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
-
Electronic Voting
Cristian Cadar
MIT Undergraduate Journal of Mathematics, Vol.5, June, 2003, pp.49-57
-
Dynamic Pattern Matching: The World of Tries and Range Queries?
Alexandr Andoni and Cristian Cadar
Final project for Advanced Algorithms, December 2003 (6.854)
-
Electronic Transcripts
Cristian Cadar, Lev Teytelman, and Eugenia Trusova
Final project for Computer System Engineering, May 2002 (6.033)
-
Blinded Distributed Computing
Cristian Cadar, Catalin Francu, and Ovidiu Gheorghioiu
Final project for Network and Computer Security, December 2001 (6.857)
|
