| Epistemic temporal logic for information flow security M Balliu, M Dam, G Le Guernic ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for …, 2011 | 53 | 2011 |
| Automating information flow analysis of low level code M Balliu, M Dam, R Guanciale Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 35 | 2014 |
| ENCOVER: Symbolic Exploration for Information Flow Security M Balliu, M Dam, G Le Guernic | 30 | 2012 |
| Explicit secrecy: A policy for taint tracking D Schoepe, M Balliu, BC Pierce, A Sabelfeld 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 15-30, 2016 | 26 | 2016 |
| If this then what? Controlling flows in IoT apps I Bastys, M Balliu, A Sabelfeld Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 22 | 2018 |
| Let’s face it: Faceted values for taint tracking D Schoepe, M Balliu, F Piessens, A Sabelfeld European Symposium on Research in Computer Security, 561-580, 2016 | 15 | 2016 |
| A logic for information flow analysis of distributed programs M Balliu Nordic Conference on Secure IT Systems, 84-99, 2013 | 14 | 2013 |
| A weakest precondition approach to active attacks analysis (abstract only) M Balliu, I Mastroeni ACM SIGPLAN Notices 44 (8), 5-5, 2009 | 11* | 2009 |
| A weakest precondition approach to active attacks analysis M Balliu, I Mastroeni Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 11 | 2009 |
| Formalising privacy policies in social networks R Pardo, M Balliu, G Schneider Journal of logical and algebraic methods in programming 90, 125-157, 2017 | 10 | 2017 |
| Jslinq: Building secure applications across tiers M Balliu, B Liebe, D Schoepe, A Sabelfeld Proceedings of the Sixth ACM Conference on Data and Application Security and …, 2016 | 10 | 2016 |
| We are family: Relating information-flow trackers M Balliu, D Schoepe, A Sabelfeld European Symposium on Research in Computer Security, 124-145, 2017 | 9 | 2017 |
| A weakest precondition approach to robustness M Balliu, I Mastroeni Transactions on computational science X, 261-297, 2010 | 6 | 2010 |
| Information-flow control for database-backed applications M Guarnieri, M Balliu, D Schoepe, D Basin, A Sabelfeld 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 79-94, 2019 | 3 | 2019 |
| Securing IoT apps M Balliu, I Bastys, A Sabelfeld IEEE Security & Privacy 17 (5), 22-29, 2019 | 3 | 2019 |
| Flaws in flows: Unveiling design flaws via information flow analysis K Tuma, R Scandariato, M Balliu 2019 IEEE International Conference on Software Architecture (ICSA), 191-200, 2019 | 3 | 2019 |
| A formal approach to preserving privacy in social networks (extended version) R Pardo, M Balliu, G Schneider Technical report, Chalmers University of Technology, 0 | 3 | |
| An Empirical Study of Information Flows in Real-World JavaScript CA Staicu, D Schoepe, M Balliu, M Pradel, A Sabelfeld Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019 | 2 | 2019 |
| Securing Cross-App Interactions in IoT Platforms M Balliu, M Merro, M Pasqua 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 319-31915, 2019 | 2 | 2019 |
| Logics for information flow security: from specification to verification M Balliu KTH Royal Institute of Technology, 2014 | 2 | 2014 |
Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
