Travelled to:
1 × Latvia
1 × Poland
Collaborated with:
R.Sisto A.Valenzano I.C.Bertolotti
Talks about:
protocol (2) cryptograph (1) represent (1) strategi (1) knowledg (1) analysi (1) specif (1) serco (1) field (1) loto (1)
Person: Luca Durante
DBLP: Durante:Luca
Contributed to:
Wrote 2 papers:
- TACAS-2003-BDSV #analysis #encryption #information management #protocol #representation
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (ICB, LD, RS, AV), pp. 284–298.
- SEKE-1994-DuranteSV #protocol #specification
- A LOTOS specification of the SERCOS field-bus protocol (LD, RS, AV), pp. 139–147.