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 102 20

  2. honeyplc honeyplc Public

    High-interaction Honeypot for PLCs and Industrial Control Systems

    Pascal 93 20

  3. KHeaps KHeaps Public

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

    C 92 8

  4. operation-mango-public operation-mango-public Public

    Python 89 15

  5. RetSpill RetSpill Public

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

    LLVM 69 9

  6. greenhouse greenhouse Public

    Python 68 7

Repositories

Showing 10 of 44 repositories
  • clusterutils Public

    Utilities for the kubernetes cluster

    sefcom/clusterutils’s past year of commit activity
    Python 1 BSD-2-Clause 0 0 0 Updated Dec 23, 2025
  • 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
    14 0 0 0 Updated Dec 20, 2025
  • VarBERT Public
    sefcom/VarBERT’s past year of commit activity
    Python 63 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 69 9 3 1 Updated Nov 13, 2025
  • Frankenstein Public

    Code Repository for the Frankenstein paper (IEEE S&P, 2025)

    sefcom/Frankenstein’s past year of commit activity
    4 MIT 0 0 0 Updated Oct 2, 2025
  • decompiler-types-benchmark Public Forked from tedanvosin/Benchmarking-Type-Inference-in-Decompilers

    Benchmarking Type Inference in Decompilers

    sefcom/decompiler-types-benchmark’s past year of commit activity
    Python 1 4 0 0 Updated Sep 1, 2025
  • SWING Public

    Implementation of paper Teamwork Makes the Defense Work: Defense Resource Allocation with Composable Targets

    sefcom/SWING’s past year of commit activity
    0 0 0 0 Updated May 24, 2025
  • 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 2 MIT 2 0 0 Updated May 14, 2025
  • sefcom/operation-mango-public’s past year of commit activity
    Python 89 15 4 3 Updated May 4, 2025
  • flakjack Public
    sefcom/flakjack’s past year of commit activity
    Python 8 2 0 0 Updated Oct 14, 2024