shunghsiyu

Taipei, Taiwan

shung-hsi.yu@suse.com

Model checking the BPF verifier

a project 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 8 days ago. 3 hacker ♥️. 3 followers.

1

2

1

15

Looking for projects around:

Nothing at the moment

Activity

6 days ago: shunghsiyu liked Rewrite libkdumpfile Python binding using CFFI

6 days ago: shunghsiyu liked Add GObject based introspectable API to libzypp

6 days ago: shunghsiyu liked BPFTRACE

8 days ago: shunghsiyu started Model checking the BPF verifier

8 days ago: shunghsiyu added keyword "kernel" to Model checking the BPF verifier

8 days ago: shunghsiyu liked generic zswap dedup

8 days ago: shunghsiyu liked Add combustion support to the terraform-provider-libvirt

8 days ago: shunghsiyu liked Add MBR binary format support to the fq command line tool

8 days ago: shunghsiyu liked Learn about IPv6 while Implementing it in the Home Environment

8 days ago: shunghsiyu liked consolidate mm debugging tools and package them

8 days ago: shunghsiyu added keyword "bpf" to Model checking the BPF verifier

8 days ago: shunghsiyu added keyword "ebpf" to Model checking the BPF verifier

8 days ago: shunghsiyu added keyword "formalverification" to Model checking the BPF verifier

8 days ago: shunghsiyu added keyword "modelchecking" to Model checking the BPF verifier

8 days ago: shunghsiyu originated Model checking the BPF verifier

9 days ago: shunghsiyu liked Setup A Linux Cross Referencer for SUSE kernels

9 days ago: shunghsiyu liked FTrace Visualization Tool

9 days ago: shunghsiyu liked Enable full-disk-encryption key sharing for bootloader -> kernel

9 days ago: shunghsiyu liked Learn TCP

9 days ago: shunghsiyu liked SUSE branded keycaps models

4 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