BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sisto:Riccardo

Contributed to:

TACAS 20032003
SCAM 20012001
SEKE 20012001
SEKE 19941994

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.