TURRINI, Andrea
TURRINI, Andrea
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Hierarchical and compositional verification of cryptographic protocols | 1-gen-2009 | Turrini, Andrea |