Skip to content

@OS3Lab OS³ Lab

Change the repository type filter

All

    Repositories list

    20 repositories

    • os3lab.github.io

      Public
      The website of our HUST OS³ Lab
      MIT License
      •1•1•0•0•Updated Mar 1, 2026Mar 1, 2026

    • patch-backporting

      Public
      PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)
      Python
      •
      MIT License
      •10•33•1•0•Updated Feb 27, 2026Feb 27, 2026

    • Repo2Lark-Gitea

      Public
      优雅地转发 Gitea Webhook 事件到飞书。
      Python
      •
      GNU General Public License v3.0
      •5•0•0•0•Updated Jan 21, 2026Jan 21, 2026

    • py-template

      Public template
      Standard template of building a Python project.
      0•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • slides

      Public
      Slides from our research team - HUST OS³ Lab (Open Source Operating System Optimal Security Lab)
      Other
      •1•0•0•0•Updated Dec 15, 2025Dec 15, 2025

    • sok-kernel-hardening

      Public
      SoK: Take a Deep Step into Linux Kernel Hardening Effectiveness from the Offensive-Defensive Perspective (NDSS 2026)
      0•10•0•0•Updated Dec 9, 2025Dec 9, 2025

    • patch_dataset

      Public
      Patch dataset for PortGPT (IEEE S&P 2026)
      Shell
      •
      MIT License
      •1•3•0•0•Updated Oct 25, 2025Oct 25, 2025

    • KernelGPT

      Public
      KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)
      C++
      •
      Apache License 2.0
      •24•1•0•0•Updated Aug 25, 2025Aug 25, 2025

    • qemu-kreit

      Public
      Modified qemu for binary-only kernel tracing, address sanitizer and so on
      C
      •
      Other
      •0•19•0•0•Updated Jul 5, 2025Jul 5, 2025

    • kernelsec_papers

      Public
      Paper List related with Linux Kernel Security
      Apache License 2.0
      •0•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • LLM4S2

      Public
      LLM for System/Software Security
      Apache License 2.0
      •1•23•0•0•Updated Dec 29, 2024Dec 29, 2024

    • lighthouse

      Public
      A Coverage Explorer for Reverse Engineers
      Python
      •
      MIT License
      •330•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • redebug

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Mar 23, 2024Mar 23, 2024

    • reproduce_kernel_bugs

      Public
      Reproduce kernel bugs found by Syzkaller and provide some useful scripts for the reproduction
      Shell
      •
      BSD 2-Clause "Simplified" License
      •5•9•0•0•Updated Mar 7, 2024Mar 7, 2024

    • crash_deduplication

      Public
      Ground Truth Dataset of our paper "An In-depth Analysis of Duplicated Linux Kernel Bug Reports" (NDSS 2022)
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•6•0•0•Updated Jul 6, 2023Jul 6, 2023

    • KernelTestingPapers

      Public
      Papers related with kernel papers
      Apache License 2.0
      •0•13•0•0•Updated Mar 18, 2023Mar 18, 2023

    • General_Bisection

      Public archive
      General Bisection about cause and fix
      Python
      •
      MIT License
      •0•3•1•0•Updated Nov 1, 2022Nov 1, 2022

    • Timeline

      Public
      Timeline for Linux Kernel Attacks and Security Mitigation
      TeX
      •0•0•0•0•Updated Aug 24, 2022Aug 24, 2022

    • TraditionalMitigation

      Public
      Traditional Mitigation in GCC to defend Memory Corruption Vulnerability
      C
      •
      Apache License 2.0
      •9•0•0•0•Updated Jun 22, 2021Jun 22, 2021

    • pomp-x86_64

      Public archive
      POMP for x86_64
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•1•0•Updated Feb 10, 2018Feb 10, 2018