BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
2 × Spain
Collaborated with:
S.Etalle J.d.Hartog A.Saptawijaya
Talks about:
base (3) constraint (2) protocol (2) secur (2) probabilist (1) cryptograph (1) analysi (1) system (1) improv (1) verif (1)

Person: Ricardo Corin

DBLP DBLP: Corin:Ricardo

Contributed to:

ICALP (2) 20062006
ICLP 20052005
SAS 20022002

Wrote 3 papers:

ICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.
ICLP-2005-CorinSE #analysis #constraints #protocol #security
PS-LTL for Constraint-Based Security Protocol Analysis (RC, AS, SE), pp. 439–440.
SAS-2002-CorinE #constraints #protocol #security #verification
An Improved Constraint-Based System for the Verification of Security Protocols (RC, SE), pp. 326–341.

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.