| 2008 |
|---|
| 10 | EE | Periklis Akritidis,
Cristian Cadar,
Costin Raiciu,
Manuel Costa,
Miguel Castro:
Preventing Memory Error Exploits with WIT.
IEEE Symposium on Security and Privacy 2008: 263-277 |
| 9 | EE | Cristian Cadar,
Daniel Dunbar,
Dawson R. Engler:
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
OSDI 2008: 209-224 |
| 8 | EE | Peter Boonstoppel,
Cristian Cadar,
Dawson R. Engler:
RWset: Attacking Path Explosion in Constraint-Based Test Generation.
TACAS 2008: 351-366 |
| 7 | EE | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: Automatically Generating Inputs of Death.
ACM Trans. Inf. Syst. Secur. 12(2): (2008) |
| 2006 |
|---|
| 6 | EE | Cristian Cadar,
Vijay Ganesh,
Peter M. Pawlowski,
David L. Dill,
Dawson R. Engler:
EXE: automatically generating inputs of death.
ACM Conference on Computer and Communications Security 2006: 322-335 |
| 5 | EE | Junfeng Yang,
Can Sar,
Paul Twohey,
Cristian Cadar,
Dawson R. Engler:
Automatically Generating Malicious Disks using Symbolic Execution.
IEEE Symposium on Security and Privacy 2006: 243-257 |
| 2005 |
|---|
| 4 | EE | Martin C. Rinard,
Cristian Cadar,
Huu Hai Nguyen:
Exploring the acceptability envelope.
OOPSLA Companion 2005: 21-30 |
| 3 | EE | Cristian Cadar,
Dawson R. Engler:
Execution Generated Test Cases: How to Make Systems Code Crash Itself.
SPIN 2005: 2-23 |
| 2004 |
|---|
| 2 | EE | Martin C. Rinard,
Cristian Cadar,
Daniel Dumitran,
Daniel M. Roy,
Tudor Leu:
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors).
ACSAC 2004: 82-90 |
| 1 | EE | Martin C. Rinard,
Cristian Cadar,
Daniel Dumitran,
Daniel M. Roy,
Tudor Leu,
William S. Beebee:
Enhancing Server Availability and Security Through Failure-Oblivious Computing.
OSDI 2004: 303-316 |
