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 | 144 | 2018 |
Securing iot apps M Balliu, I Bastys, A Sabelfeld IEEE Security & Privacy 17 (5), 22-29, 2019 | 34 | 2019 |
Tracking Information Flow via Delayed Output: Addressing Privacy in IoT and Emailing Apps I Bastys, F Piessens, A Sabelfeld Secure IT Systems: 23rd Nordic Conference, NordSec 2018, Oslo, Norway …, 2018 | 19 | 2018 |
Asymmetric secure multi-execution with declassification I Boloşteanu, D Garg International Conference on Principles of Security and Trust, 24-45, 2016 | 18 | 2016 |
Prudent design principles for information flow control I Bastys, F Piessens, A Sabelfeld Proceedings of the 13th Workshop on Programming Languages and Analysis for …, 2018 | 14 | 2018 |
Type systems for information flow control: The question of granularity V Rajani, I Bastys, W Rafnsson, D Garg ACM SIGLOG News 4 (1), 6-21, 2017 | 13 | 2017 |
Secwasm: Information flow control for WebAssembly I Bastys, M Algehed, A Sjösten, A Sabelfeld International Static Analysis Symposium, 74-103, 2022 | 9 | 2022 |
Clockwork: Tracking remote timing attacks I Bastys, M Balliu, T Rezk, A Sabelfeld 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 350-365, 2020 | 4 | 2020 |
Towards an Architecture for Pseudonymous E-Commerce-Applying Privacy by Design to Online Shopping S Pape, D Tasche, I Bastys, A Grosz, J Lässig, K Rannenberg Gesellschaft für Informatik eV, 2018 | 2 | 2018 |
A Principled Approach to Securing IoT Apps I Bastys Chalmers Tekniska Hogskola (Sweden), 2018 | 1 | 2018 |
Principled Flow Tracking in IoT and Low-Level Applications I Bastys Chalmers University of Technology, 2022 | | 2022 |
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 |
Asymmetric Secure Multi-Execution I Bastys Saarland University, 2016 | | 2016 |