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: Zalinescu:Eugen
Contributed to:
2006
2005
2017Wrote 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.