Publications

4 results for Dan Williams

SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- - Zicheng Wang
  - Yicheng Guang
  - et al.
- 2024
- USENIX Security 2024
Fast (Trapless) Kernel Probes Everywhere
- - Jinghao Jia
  - Michael Le
  - et al.
- 2024
- USENIX ATC 2024
Kernel extension verification is untenable
- - Jinghao Jia
  - Raj Sahu
  - et al.
- 2023
- HotOS 2023
SecQuant: Quantifying Container System Call Exposure
- - Sunwoo Jang
  - Somin Song
  - et al.
- 2022
- ESORICS 2022