List of works - Dan Williams - Paulina

List of works by Dan Williams

Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

scientific article published on 31 May 2024

Eliminating eBPF Tracing Overhead on Untraced Processes

scientific article published on 15 July 2024

Enabling BPF Runtime policies for better BPF management

scientific article published on 18 August 2023

Enabling eBPF on Embedded Systems Through Decoupled Verification

scientific article published on 18 August 2023

Kernel extension verification is untenable

scientific article published on 22 June 2023

SEVeriFast: Minimizing the root of trust for fast startup of SEV microVMs

scientific article published on 22 April 2024

Securing Container-based Clouds with Syscall-aware Scheduling

scientific article published on 05 July 2023

Unsafe kernel extension composition via BPF program nesting

scientific article published on 15 July 2024

Paulina is supported by:

About Paulina

Help