Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Eugen Zalinescu
2010 – today
- 2012
[j5]Tom Hvitved, Felix Klaedtke, Eugen Zalinescu: A trace-based model for multiparty contracts. J. Log. Algebr. Program. 81(2): 72-98 (2012)- [j4]Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15(1): 3 (2012)
- [c11]David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu: Enforceable Security Policies Revisited. POST 2012: 309-328
- [c10]David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu: Monitoring Compliance Policies over Incomplete and Disagreeing Logs. RV 2012: 151-167
- 2011
- [j3]Eugen Zalinescu: Shorter strings containing all k-element permutations. Inf. Process. Lett. 111(12): 605-608 (2011)
- [c9]David A. Basin, Felix Klaedtke, Eugen Zalinescu: Algorithms for Monitoring Real-Time Properties. RV 2011: 260-275
- [c8]David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu: MONPOLY: Monitoring Usage-Control Policies. RV 2011: 360-364
- [c7]David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu: Monitoring Usage-Control Policies in Distributed Systems. TIME 2011: 88-95
- 2010
- [j2]Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu: Deciding security properties for cryptographic protocols. application to key cycles. ACM Trans. Comput. Log. 11(2) (2010)
2000 – 2009
- 2008
- [c6]Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu: Cryptographically verified implementations for TLS. ACM Conference on Computer and Communications Security 2008: 459-468
- 2007
- [j1]Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy. Logical Methods in Computer Science 3(3) (2007)
- [c5]Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu: Synthesizing Secure Protocols. ESORICS 2007: 406-421
- [i2]Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating two standard notions of secrecy. CoRR abs/0706.0502 (2007)
- [i1]Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu: Deciding security properties for cryptographic protocols. Application to key cycles. CoRR abs/0708.3564 (2007)
- 2006
- [c4]Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: Relating Two Standard Notions of Secrecy. CSL 2006: 303-318
- [c3]Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch: Relating two standard notions of secrecy. Trustworthy Software 2006
- [c2]
- 2005
- [c1]Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu: A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. PPDP 2005: 12-22
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-31 19:46 CET by the dblp team