Mining ABAC rules from sparse logs C Cotrini, T Weghorn, D Basin 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 31-46, 2018 | 94 | 2018 |
Basic primal infon logic C Cotrini, Y Gurevich Journal of Logic and Computation 26 (1), 117-141, 2016 | 21 | 2016 |
The Next 700 Policy Miners: A Universal Method for Building Policy Miners C Cotrini, L Corinzia, T Weghorn, D Basin arXiv preprint arXiv:1908.05994, 2019 | 16 | 2019 |
Analyzing first-order role based access control C Cotrini, T Weghorn, D Basin, M Clavel 2015 IEEE 28th Computer Security Foundations Symposium, 3-17, 2015 | 13 | 2015 |
Deciding safety and liveness in TPTL D Basin, CC Jiménez, F Klaedtke, E Zălinescu Information Processing Letters 114 (12), 680-688, 2014 | 8 | 2014 |
Transitive primal infon logic C Cotrini, Y Gurevich The Review of Symbolic Logic 6 (2), 281-304, 2013 | 7 | 2013 |
Primal infon logic with conjunctions as sets C Cotrini, Y Gurevich, O Lahav, A Melentyev IFIP International Conference on Theoretical Computer Science, 236-249, 2014 | 3 | 2014 |