| 2006 |
|---|
| 9 | EE | Roberto Di Pietro,
Luigi V. Mancini,
Antonio Durante,
Vishwas Patil:
Addressing the shortcomings of one-way chains.
ASIACCS 2006: 289-296 |
| 2005 |
|---|
| 8 | EE | Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel,
Antonio Durante:
A Trace Logic for Local Security Properties.
Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005) |
| 2004 |
|---|
| 7 | EE | Ricardo Corin,
Antonio Durante,
Sandro Etalle,
Pieter H. Hartel:
A Trace Logic for Local Security Properties
CoRR cs.CR/0411010: (2004) |
| 2003 |
|---|
| 6 | EE | Roberto Di Pietro,
Antonio Durante,
Luigi V. Mancini:
A Reliable Key Authentication Schema for Secure Multicast Communications.
SRDS 2003: 231-240 |
| 2002 |
|---|
| 5 | EE | Antonio Durante,
Roberto Di Pietro,
Luigi V. Mancini:
Formal Specification for Fast Automatic IDS Training.
FASec 2002: 191-204 |
| 2001 |
|---|
| 4 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.
MMM-ACNS 2001: 287-299 |
| 2000 |
|---|
| 3 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference.
ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000) |
| 1999 |
|---|
| 2 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols.
CSFW 1999: 203-212 |
| 1994 |
|---|
| 1 | | Giancarlo Succi,
Joy Marino,
Alberto Baudino,
Antonio Durante:
The Compilation of a Set-Based Logic Language for Generic Parallel Machines.
WLP 1994: 16-19 |
