Eugen Zalinescu
Eugen Zalinescu
Nomadic Labs
Geverifieerd e-mailadres voor nomadic-labs.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
170*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
1092015
Enforceable security policies revisited
D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU
TISSEC 16 (1), 2013
962013
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
89*2010
MONPOLY: Monitoring Usage-control Policies⋆
D Basin, M Harvan, F Klaedtke, E Zalinescu
2nd International Conference on Runtime Verification (RV), 2011
862011
Algorithms for Monitoring Real-time Properties⋆
D Basin, F Klaedtke, E Zalinescu
RV (Runtime Verification), 2011
652011
Monitoring of Temporal First-order Properties with Aggregations
D Basin, F Klaedtke, S Marinovic, E Zalinescu
Runtime Verification 2013, 0
64*
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
622019
Relating two standard notions of secrecy
V Cortier, M Rusinovitch, E Zalinescu
Arxiv preprint arXiv:0706.0502, 2007
472007
Monitoring Data Usage in Distributed Systems
D Basin, M Harvan, F Klaedtke, E Zǎlinescu
Transactions on Software Engineering 39, 2013
43*2013
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
392012
The MonPoly Monitoring Tool.
DA Basin, F Klaedtke, E Zalinescu
RV-CuBES 3, 19-28, 2017
302017
Monitoring events that carry data
K Havelund, G Reger, D Thoma, E Zălinescu
Lectures on Runtime Verification, 61-102, 2018
282018
A trace-based model for multiparty contracts
T Hvitved, F Klaedtke, E Zălinescu
Journal of Logic and Algebraic Programming, 2011
252011
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
232015
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
192005
Synthesizing secure protocols
V Cortier, B Warinschi, E Zălinescu
Computer Security–ESORICS 2007, 406-421, 2007
182007
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
152017
Algorithms for monitoring real-time properties
D Basin, F Klaedtke, E Zălinescu
Acta informatica 55 (4), 309-338, 2018
142018
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
142017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20