Rex: Closing the language-verifier gap with safe and usable kernel extensions
- Jinghao Jia
- Ruowen Qin
- et al.
- 2025
- USENIX ATC 2025
Publications
55 results for Hani Jamjoom
Intel TDX Demystified: A Top-Down Approach
- Pau-Chen Cheng
- Wojciech Ozga
- et al.
- 2024
- ACM Computing Surveys
DeTA: Minimizing Data Leaks in Federated Learning via Decentralized and Trustworthy Aggregation
- Pau-Chen Cheng
- Kevin Eykholt
- et al.
- 2024
- EuroSys 2024
Practical and Flexible Kernel CFI Enforcement using eBPF
- Jinghao Jia
- Michael V. Le
- et al.
- 2023
- eBPF 2023
Not All Data are Created Equal: Data and Pointer Prioritization for Scalable Protection Against Data-Oriented Attacks
- Salman Ahmed
- Hans Liljestrand
- et al.
- 2023
- USENIX Security 2023
Securing Container-based Clouds with Syscall-aware Scheduling
- Michael V. Le
- Salman Ahmed
- et al.
- 2023
- ASIA CCS 2023
Analyzing Control-flow-based Glitching Attacks and Defenses
- Chad Spensky
- Aravind MacHiry
- et al.
- 2021
- DSN 2021
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021
Houdini's escape: Breaking the resource rein of Linux control groups
- Xing Gao
- Zhongshu Gu
- et al.
- 2019
- CCS 2019
Deep enforcement: Policy-based data transformations for data in the cloud
- Ety Khaitzin
- Julian James Stephen
- et al.
- 2019
- HotCloud 2019