Travelled to:
1 × Argentina
1 × Italy
1 × Latvia
1 × Poland
Collaborated with:
L.Durante A.Valenzano P.Maggi R.Iosif I.C.Bertolotti
Talks about:
protocol (2) analysi (2) java (2) cryptograph (1) represent (1) strategi (1) properti (1) knowledg (1) bytecod (1) tempor (1)
Person: Riccardo Sisto
DBLP: Sisto:Riccardo
Contributed to:
Wrote 4 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.
- SCAM-2001-MaggiS #analysis #bytecode #data flow #java #using
- Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.
- SEKE-2001-IosifS #java #logic
- Temporal Logic Properties of Java Objects (RI, RS), pp. 120–127.
- SEKE-1994-DuranteSV #protocol #specification
- A LOTOS specification of the SERCOS field-bus protocol (LD, RS, AV), pp. 139–147.