| |
| 2005 | ||
|---|---|---|
| 1 | EE | Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West: Model Checking An Entire Linux Distribution for Security Violations. ACSAC 2005: 13-22 |
| 1 | Hao Chen | [1] |
| 2 | Jeremy Lin | [1] |
| 3 | Geoff Morrison | [1] |
| 4 | Benjamin Schwarz | [1] |
| 5 | Wei Tu | [1] |
| 6 | David Wagner | [1] |