Skip to content
@sefcom

SEFCOM

Laboratory of Security Engineering for Future Computing

Popular repositories Loading

  1. oxidizer oxidizer Public

    A Rust decompiler built on top of angr

    Python 533 17

  2. Witcher Witcher Public

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

    C 109 20

  3. honeyplc honeyplc Public

    High-interaction Honeypot for PLCs and Industrial Control Systems

    Pascal 102 20

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

    Python 100 18

  5. KHeaps KHeaps Public

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

    C 88 7

  6. greenhouse greenhouse Public

    Python 80 13

Repositories

Showing 10 of 50 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 Sep 14, 2026
  • oxidizer Public

    A Rust decompiler built on top of angr

    sefcom/oxidizer's past year of commit activity
    Python 533 BSD-2-Clause 17 1 11 Updated Sep 8, 2026
  • sefcom/operation-mango-public's past year of commit activity
    Python 100 BSD-2-Clause 18 5 3 Updated Sep 2, 2026
  • ARVO Public

    ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.

    sefcom/ARVO's past year of commit activity
    Python 5 0 0 0 Updated Jul 12, 2026
  • BucketLeak Public

    BucketLeak Code Base

    sefcom/BucketLeak's past year of commit activity
    Python 0 MIT 1 0 0 Updated May 19, 2026
  • oxidizer-eval Public
    sefcom/oxidizer-eval's past year of commit activity
    Python 2 0 0 0 Updated Apr 17, 2026
  • taveren Public

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

    sefcom/taveren's past year of commit activity
    JavaScript 8 BSD-2-Clause 2 0 1 Updated Apr 17, 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
  • 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