| 2008 |
|---|
| 3 | EE | Stefano Campanelli,
Alessandro Falleni,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Mobile Implementation and Formal Verification of an e-Voting System.
ICIW 2008: 476-481 |
| 2005 |
|---|
| 2 | EE | Fabrizio Baiardi,
Alessandro Falleni,
Riccardo Granchi,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
SEAS, a secure e-voting protocol: Design and implementation.
Computers & Security 24(8): 642-652 (2005) |
| 2003 |
|---|
| 1 | EE | Fabrizio Baiardi,
Alessandro Falleni,
Riccardo Granchi,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
SEAS: A Secure E-Voting Applet System.
ISSS 2003: 318-329 |
