 | 2009 |
|---|
| 7 |       | Seda Davtyan,
Sotiris Kentros,
Aggelos Kiayias,
Laurent D. Michel,
Nicolas C. Nicolaou,
Alexander Russell,
Andrew See,
Narasimha Shashidhar,
Alexander A. Shvartsman:
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal.
SAC 2009: 2049-2053 |
| 6 | | Laurent Michel,
Andrew See,
Pascal Van Hentenryck:
Transparent Parallelization of Constraint Programming.
INFORMS Journal on Computing 21(3): 363-382 (2009) |
| 2008 |
|---|
| 5 | | Seda Davtyan,
Sotiris Kentros,
Aggelos Kiayias,
Laurent Michel,
Nicolas C. Nicolaou,
Alexander Russell,
Andrew See,
Narasimha Shashidhar,
Alexander A. Shvartsman:
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards.
EVT 2008 |
| 2007 |
|---|
| 4 | | Aggelos Kiayias,
Laurent Michel,
Alexander Russell,
Narasimha Shashidhar,
Andrew See,
Alexander A. Shvartsman,
Seda Davtyan:
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting.
ACSAC 2007: 30-39 |
| 3 | | Laurent Michel,
Andrew See,
Pascal Van Hentenryck:
Parallelizing Constraint Programs Transparently.
CP 2007: 514-528 |
| 2006 |
|---|
| 2 | | Laurent Michel,
Andrew See,
Pascal Van Hentenryck:
Distributed Constraint-Based Local Search.
CP 2006: 344-358 |
| 1 | | Laurent Michel,
Andrew See,
Pascal Van Hentenryck:
High-Level Nondeterministic Abstractions in.
CP 2006: 359-374 |
