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 × Hungary
1 × Portugal
Collaborated with:
V.Cortier M.Rusinowitch D.A.Basin F.Klaedtke
Talks about:
cryptograph (1) strategi (1) standard (1) signatur (1) protocol (1) properti (1) secreci (1) resolut (1) encrypt (1) verifi (1)

Person: Eugen Zalinescu

DBLP DBLP: Zalinescu:Eugen

Contributed to:

CSL 20062006
PPDP 20052005
CAV (1) 20172017

Wrote 3 papers:

CSL-2006-CortierRZ #standard
Relating Two Standard Notions of Secrecy (VC, MR, EZ), pp. 303–318.
PPDP-2005-CortierRZ #encryption #protocol #verification
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures (VC, MR, EZ), pp. 12–22.
CAV-2017-BasinKZ #data type #runtime #verification
Runtime Verification of Temporal Properties over Out-of-Order Data Streams (DAB, FK, EZ), pp. 356–376.

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.