Sotabase

Career

· PostDoc, Helmholtz Center for Information Security (CISPA)
· Research Group Leader, Helmholtz Center for Information Security (CISPA)
· Assistant Professor, KTH Royal Institute of Technology
· PhD in Computer Science, KTH Royal Institute of Technology
· Visiting Assistant Professor, Stanford University

Publications (37)

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures
IEEE Symposium on Security and Privacy · 2016
103
cited
Formal verification of information flow security for a simple arm-based separation kernel
Conference on Computer and Communications Security · 2013
87
cited
Osiris: Automated Discovery of Microarchitectural Side Channels
USENIX Security Symposium · 2021
74
cited
Axiomatic hardware-software contracts for security
International Symposium on Computer Architecture · 2022
34
cited
Machine code verification of a tiny ARM hypervisor
Workshop on Trustworthy Embedded Devices · 2013
29
cited
Validation of Abstract Side-Channel Models for Computer Architectures
International Conference on Computer Aided Verification · 2020
28
cited
Validation of Side-Channel Models via Observation Refinement
Micro · 2021
23
cited
Provably secure memory isolation for Linux on ARM
Journal of computing and security · 2016
19
cited
Trustworthy Virtualization of the ARMv7 Memory Subsystem
Conference on Current Trends in Theory and Practice of Informatics · 2015
19
cited
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
European Conference on Computer Systems · 2019
16
cited
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
IEEE Symposium on Security and Privacy · 2023
16
cited
TCvisor: A hypervisor level secure storage
International Conference for Internet Technology and Secured Transactions · 2010
13
cited
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels
Conference on Computer and Communications Security · 2022
12
cited
Trustworthy Prevention of Code Injection in Linux on Embedded Devices
European Symposium on Research in Computer Security · 2015
12
cited
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
International Conference on Verification, Model Checking and Abstract Interpretation · 2023
7
cited
On Compositional Information Flow Aware Refinement
IEEE Computer Security Foundations Symposium · 2021
7
cited
Speculative Leakage in ARM Cortex-A53
arXiv.org · 2020
6
cited
Input Algebras
International Conference on Software Engineering · 2021
4
cited
SEAL: Capability-Based Access Control for Data-Analytic Scenarios
ACM Symposium on Access Control Models and Technologies · 2023
4
cited
Secure System Virtualization: End-to-End Verification of Memory Isolation
arXiv.org · 2020
4
cited
Sotabase