shunghsiyu

Taipei, Taiwan

Model checking the BPF verifier

an invention by shunghsiyu

Project Description

BPF verifier plays a crucial role in securing the system (though less so now that unprivileged BPF is disabled by default in both upstream and SLES), and bugs in the verifier has lead to privilege escalation vulnerabilities in the past (e.g. CVE-2021-3490).

Updated 3 months ago. 4 hacker ♥️. 3 followers.

Looking for projects around:

Nothing at the moment

Activity

3 months ago: shunghsiyu liked Rewrite libkdumpfile Python binding using CFFI

3 months ago: shunghsiyu liked Add GObject based introspectable API to libzypp

3 months ago: shunghsiyu liked BPFTRACE

3 months ago: shunghsiyu started Model checking the BPF verifier

3 months ago: shunghsiyu added keyword "kernel" to Model checking the BPF verifier

3 months ago: shunghsiyu liked generic zswap dedup

3 months ago: shunghsiyu liked Add combustion support to the terraform-provider-libvirt

3 months ago: shunghsiyu liked Add MBR binary format support to the fq command line tool

3 months ago: shunghsiyu liked Learn about IPv6 while Implementing it in the Home Environment

3 months ago: shunghsiyu liked consolidate mm debugging tools and package them

3 months ago: shunghsiyu added keyword "bpf" to Model checking the BPF verifier

3 months ago: shunghsiyu added keyword "ebpf" to Model checking the BPF verifier

3 months ago: shunghsiyu added keyword "formalverification" to Model checking the BPF verifier

3 months ago: shunghsiyu added keyword "modelchecking" to Model checking the BPF verifier

3 months ago: shunghsiyu originated Model checking the BPF verifier

3 months ago: shunghsiyu liked Setup A Linux Cross Referencer for SUSE kernels

3 months ago: shunghsiyu liked FTrace Visualization Tool

3 months ago: shunghsiyu liked Enable full-disk-encryption key sharing for bootloader -> kernel

3 months ago: shunghsiyu liked Learn TCP

3 months ago: shunghsiyu liked SUSE branded keycaps models

6 months ago: shunghsiyu liked Kanidm - Modern Opensource Identity Management

over 1 year ago: shunghsiyu joined Phoebe - where AI meets Linux

over 1 year ago: shunghsiyu liked Phoebe - where AI meets Linux