Skip to content
@sefcom

SEFCOM

Laboratory of Security Engineering for Future Computing

Popular repositories Loading

  1. Witcher Witcher Public

    Witcher is the first framework for using AFL to fuzz web applications.

    C 104 20

  2. honeyplc honeyplc Public

    High-interaction Honeypot for PLCs and Industrial Control Systems

    Pascal 97 20

  3. operation-mango-public operation-mango-public Public

    Python 96 18

  4. KHeaps KHeaps Public

    Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability

    C 92 8

  5. greenhouse greenhouse Public

    Python 74 10

  6. RetSpill RetSpill Public

    RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections

    LLVM 70 9

Repositories

Showing 10 of 48 repositories
  • oxidizer Public

    A Rust decompiler built on top of angr

    sefcom/oxidizer’s past year of commit activity
    Python 2 BSD-2-Clause 0 0 10 Updated Mar 23, 2026
  • clusterutils Public

    Utilities for the kubernetes cluster

    sefcom/clusterutils’s past year of commit activity
    Python 1 BSD-2-Clause 0 0 0 Updated Mar 23, 2026
  • oxidizer-ui Public

    angr-management UI compatible with Oxidizer (pinned to angr 9.2.197.dev0)

    sefcom/oxidizer-ui’s past year of commit activity
    Python 1 BSD-2-Clause 0 0 0 Updated Mar 23, 2026
  • oxidizer-eval Public
    sefcom/oxidizer-eval’s past year of commit activity
    Python 0 0 0 0 Updated Mar 22, 2026
  • ghqemu5 Public
    sefcom/ghqemu5’s past year of commit activity
    C 3 BSD-2-Clause 3 0 0 Updated Feb 9, 2026
  • CPython-AST-Fuzzer Public

    A toy project for Python interpreter fuzzing using AST mutators based on LibFuzzer

    sefcom/CPython-AST-Fuzzer’s past year of commit activity
    C 4 MIT 2 0 0 Updated Jan 26, 2026
  • ropbot Public

    A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.

    sefcom/ropbot’s past year of commit activity
    Python 48 2 0 0 Updated Jan 22, 2026
  • taveren Public

    Discovering Blind-Trust Vulnerabilities in PLC Binaries via State Machine Recovery

    sefcom/taveren’s past year of commit activity
    JavaScript 5 BSD-2-Clause 0 0 0 Updated Jan 5, 2026
  • VarBERT Public
    sefcom/VarBERT’s past year of commit activity
    Python 65 6 1 0 Updated Dec 17, 2025
  • RetSpill Public

    RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections

    sefcom/RetSpill’s past year of commit activity
    LLVM 70 9 3 1 Updated Nov 13, 2025
View all repositories

Most used topics

Loading…