| 2008 |
|---|
| 4 | EE | Adam Aviv,
Pavol Cerný,
Sandy Clark,
Eric Cronin,
Gaurav Shah,
Micah Sherr,
Matt Blaze:
Security Evaluation of ES&S Voting Machines and Election Management System.
EVT 2008 |
| 2007 |
|---|
| 3 | EE | Rajeev Alur,
Pavol Cerný,
Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences.
TACAS 2007: 664-678 |
| 2006 |
|---|
| 2 | EE | Rajeev Alur,
Pavol Cerný,
Steve Zdancewic:
Preserving Secrecy Under Refinement.
ICALP (2) 2006: 107-118 |
| 2005 |
|---|
| 1 | EE | Rajeev Alur,
Pavol Cerný,
P. Madhusudan,
Wonhong Nam:
Synthesis of interface specifications for Java classes.
POPL 2005: 98-109 |
