| |
| 2006 | ||
|---|---|---|
| 2 | 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 |
| 1 | EE | Junfeng Yang, Can Sar, Dawson R. Engler: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI 2006: 131-146 |
| 1 | Cristian Cadar | [2] |
| 2 | Dawson R. Engler | [1] [2] |
| 3 | Paul Twohey | [2] |
| 4 | Junfeng Yang | [1] [2] |