Eugen Zalinescu

Identifiers

• name variant Eugen Zalinescu 0.60 · backfill

Papers (3)

1. Enforcing Programming Guidelines with Region Types and Effects cs.PL · 2018 · author #3
2. Deciding security properties for cryptographic protocols. Application to key cycles cs.LO · 2007 · author #3
3. Relating two standard notions of secrecy cs.CR · 2007 · author #3

Mentions

• 0708.3564 #3 · backfill · confidence 0.70 Eugen Zalinescu
• 0706.0502 #3 · backfill · confidence 0.70 Eugen Zalinescu

Frequent Coauthors

• Hubert Comon-Lundh 1 shared papers
• Martin Hofmann 1 shared papers
• Michael Rusinovitch 1 shared papers
• Serdar Erbatur 1 shared papers
• V\'eronique Cortier 1 shared papers
• Veronique Cortier 1 shared papers