![]() | ![]() |
2005 | ||
---|---|---|
3 | 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 |
2002 | ||
2 | EE | Romaric David, Stéphane Genaud, Arnaud Giersch, Benjamin Schwarz, Eric Violard: Source Code Transformations Strategies to Load-Balance Grid Applications. GRID 2002: 82-87 |
1 | EE | Benjamin Schwarz, Saumya K. Debray, Gregory R. Andrews: Disassembly of Executable Code Revisited. WCRE 2002: 45-54 |
1 | Gregory R. Andrews | [1] |
2 | Hao Chen | [3] |
3 | Romaric David | [2] |
4 | Saumya K. Debray | [1] |
5 | Stéphane Genaud | [2] |
6 | Arnaud Giersch | [2] |
7 | Jeremy Lin | [3] |
8 | Geoff Morrison | [3] |
9 | Wei Tu | [3] |
10 | Eric Violard | [2] |
11 | David Wagner | [3] |
12 | Jacob West | [3] |