| 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 | 60 | 2016 |
| SeLINQ: tracking information across application-database boundaries D Schoepe, D Hedin, A Sabelfeld Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 49 | 2014 |
| 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 | 48 | 2019 |
| Efficient computation and statistical assessment of transfer entropy P Boba, D Bollmann, D Schoepe, N Wester, J Wiesel, K Hamacher Frontiers in Physics 3, 10, 2015 | 27 | 2015 |
| We are family: Relating information-flow trackers M Balliu, D Schoepe, A Sabelfeld Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017 | 26 | 2017 |
| 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 | 23 | 2019 |
| Let’s face it: Faceted values for taint tracking D Schoepe, M Balliu, F Piessens, A Sabelfeld Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016 | 19 | 2016 |
| 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 | 18 | 2016 |
| VERONICA: expressive and precise concurrent information flow security D Schoepe, T Murray, A Sabelfeld 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 79-94, 2020 | 14 | 2020 |
| Understanding and enforcing opacity D Schoepe, A Sabelfeld 2015 IEEE 28th Computer Security Foundations Symposium, 539-553, 2015 | 14 | 2015 |
| VERONICA: Expressive and precise concurrent information flow security (extended version with technical appendices) D Schoepe, T Murray, A Sabelfeld arXiv preprint arXiv:2001.11142, 2020 | 6 | 2020 |
| A formalization of assumptions and guarantees for compositional noninterference S Grewe, H Mantel, D Schoepe Archive of Formal Proofs 2014, 2014 | 5 | 2014 |
| Veronica: Verified concurrent information flow security unleashed D Schoepe, T Murray, A Sabelfeld | 2 | 2019 |
| Flexible information-flow control D Schoepe PQDT-Global, 2018 | 1 | 2018 |
| Lifting on-demand analysis to higher-order languages D Schoepe, D Seekatz, I Stoilkovska, S Stucki, D Tattersall, P Bolignano, ... International Static Analysis Symposium, 460-484, 2023 | | 2023 |
| Automatic Annotation of Confidential Data in Java Code I Bastys, P Bolignano, F Raimondi, D Schoepe International Symposium on Foundations and Practice of Security, 146-161, 2021 | | 2021 |
| Let’s face it: Faceted values for taint tracking (Extended version) D Schoepe, M Balliu, F Piessens, A Sabelfeld | | 2016 |
| Flexible and Practical Information-flow Control D Schoepe Chalmers University of Technology, 2016 | | 2016 |
| JSLINQ: Building Secure Applications across Tiers (Extended Version) M Balliu, B Liebe, D Schoepe, A Sabelfeld | | |
| We are Family: Relating Information-Flow Trackers (Extended Version) M Balliu, D Schoepe, A Sabelfeld | | |
