Eugen Zalinescu
Eugen Zalinescu
Nomadic Labs
Verified email at nomadic-labs.com - Homepage
Title
Cited by
Cited by
Year
Verified cryptographic implementations for TLS
K Bhargavan, C Fournet, R Corin, E Zălinescu
ACM Transactions on Information and System Security (TISSEC) 15 (1), 3, 2012
179*2012
Monitoring metric first-order temporal properties
D Basin, F Klaedtke, S Müller, E Zălinescu
Journal of the ACM (JACM) 62 (2), 1-45, 2015
1152015
Enforceable security policies revisited
D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU
TISSEC 16 (1), 2013
1002013
MONPOLY: Monitoring Usage-control Policies⋆
D Basin, M Harvan, F Klaedtke, E Zalinescu
2nd International Conference on Runtime Verification (RV), 2011
942011
Deciding security properties for cryptographic protocols. Application to key cycles
H Comon-Lundh, V Cortier, E Zălinescu
ACM Transactions on Computational Logic (TOCL) 11 (2), 9, 2010
92*2010
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21 (1), 31-70, 2019
642019
Algorithms for Monitoring Real-time Properties⋆
D Basin, F Klaedtke, E Zalinescu
RV (Runtime Verification), 2011
632011
Relating two standard notions of secrecy
V Cortier, M Rusinovitch, E Zalinescu
Arxiv preprint arXiv:0706.0502, 2007
482007
Monitoring Data Usage in Distributed Systems
D Basin, M Harvan, F Klaedtke, E Zǎlinescu
Transactions on Software Engineering 39, 2013
45*2013
Monitoring of Temporal First-order Properties with Aggregations
D Basin, F Klaedtke, S Marinovic, E Zalinescu
Runtime Verification 2013, 0
43*
Monitoring compliance policies over incomplete and disagreeing logs
D Basin, F Klaedtke, S Marinovic, E Zălinescu
International Conference on Runtime Verification, 151-167, 2012
402012
The MonPoly Monitoring Tool.
DA Basin, F Klaedtke, E Zalinescu
RV-CuBES 3, 19-28, 2017
312017
Monitoring events that carry data
K Havelund, G Reger, D Thoma, E Zălinescu
Lectures on Runtime Verification, 61-102, 2018
302018
Monitoring of temporal first-order properties with aggregations
D Basin, F Klaedtke, S Marinovic, E Zălinescu
International Conference on Runtime Verification, 40-58, 2013
272013
A trace-based model for multiparty contracts
T Hvitved, F Klaedtke, E Zălinescu
Journal of Logic and Algebraic Programming, 2011
232011
Failure-aware runtime verification of distributed systems
D Basin, F Klaedtke, E Zălinescu
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
222015
Synthesizing secure protocols
V Cortier, B Warinschi, E Zălinescu
Computer Security–ESORICS 2007, 406-421, 2007
202007
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
V Cortier, M Rusinowitch, E Zǎlinescu
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
202005
Verifying security policies in multi-agent workflows with loops
B Finkbeiner, C Müller, H Seidl, E Zălinescu
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
172017
Runtime verification of temporal properties over out-of-order data streams
D Basin, F Klaedtke, E Zălinescu
International Conference on Computer Aided Verification, 356-376, 2017
172017
The system can't perform the operation now. Try again later.
Articles 1–20