| 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 | 185* | 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 | 147 | 2015 |
| Enforceable security policies revisited D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU TISSEC 16 (1), 2013 | 102 | 2013 |
| MONPOLY: Monitoring Usage-control Policies⋆ D Basin, M Harvan, F Klaedtke, E Zalinescu 2nd International Conference on Runtime Verification (RV), 2011 | 100 | 2011 |
| 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 | 94* | 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 | 76 | 2019 |
| Monitoring of Temporal First-order Properties with Aggregations D Basin, F Klaedtke, S Marinovic, E Zalinescu Runtime Verification 2013, 0 | 72* | |
| Algorithms for Monitoring Real-time Properties⋆ D Basin, F Klaedtke, E Zalinescu RV (Runtime Verification), 2011 | 64 | 2011 |
| The MonPoly Monitoring Tool. DA Basin, F Klaedtke, E Zalinescu RV-CuBES 3, 19-28, 2017 | 48 | 2017 |
| Monitoring Data Usage in Distributed Systems D Basin, M Harvan, F Klaedtke, E Zǎlinescu Transactions on Software Engineering 39, 2013 | 48* | 2013 |
| Relating two standard notions of secrecy V Cortier, M Rusinovitch, E Zalinescu Arxiv preprint arXiv:0706.0502, 2007 | 46* | 2007 |
| 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 | 43 | 2012 |
| Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification, 61-102, 2018 | 41 | 2018 |
| 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 | 27 | 2015 |
| A trace-based model for multiparty contracts T Hvitved, F Klaedtke, E Zălinescu Journal of Logic and Algebraic Programming, 2011 | 24 | 2011 |
| 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 | 22 | 2017 |
| Synthesizing secure protocols V Cortier, B Warinschi, E Zălinescu Computer Security–ESORICS 2007, 406-421, 2007 | 20 | 2007 |
| 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 | 19 | 2005 |
| Algorithms for monitoring real-time properties D Basin, F Klaedtke, E Zălinescu Acta informatica 55 (4), 309-338, 2018 | 18 | 2018 |
| 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 | 17 | 2017 |
David BasinProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
