research
∙
02/20/2023
Programmable System Call Security with eBPF
System call filtering is a widely used security mechanism for protecting...
share
research
∙
02/28/2022
SFIP: Coarse-Grained Syscall-Flow-Integrity Protection in Modern Systems
Growing code bases of modern applications have led to a steady increase ...
research
∙
11/24/2021
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
In this paper, we analyze the security of programming languages and thei...
research
∙
11/21/2021
Domain Page-Table Isolation
Modern applications often consist of different security domains that req...
research
∙
12/04/2020
Automating Seccomp Filter Generation for Linux Applications
Software vulnerabilities in applications undermine the security of appli...
research
∙
05/22/2019
ConTExT: Leakage-Free Transient Execution
Out-of-order execution and speculative execution are among the biggest c...
research
∙
05/14/2019
Store-to-Leak Forwarding: Leaking Data on Meltdown-resistant CPUs
Meltdown and Spectre exploit microarchitectural changes the CPU makes du...
research
∙
11/13/2018