Skip to content

@FHNW-Security-Lab FHNW-Security-Lab

Change the repository type filter

All

    Repositories list

    13 repositories

    • klee-mcp

      Public
      LLM vulnerability triage with KLEE symbolic execution, delivered over MCP. Finds, validates, and generates disclosure-ready reproducers for C/C++ memory-safety …
      PostScript
      •
      MIT License
      •0•0•0•0•Updated Jun 8, 2026Jun 8, 2026

    • gnome-sso-vpn-plugin

      Public
      Python
      •0•0•0•0•Updated May 27, 2026May 27, 2026

    • ms-sso-openconnect

      Public
      Command-line VPN client for Microsoft SSO protected networks using OpenConnect
      Python
      •0•2•0•1•Updated Apr 21, 2026Apr 21, 2026

    • local-llm-toolbox

      Public
      Toolbox for hosting local llms
      Jinja
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • GnomeScreenShareHighlight

      Public
      GNOME 50 Wayland extension that highlights shared windows and monitors with a configurable frame.
      JavaScript
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 12, 2026Apr 12, 2026

    • GnomeUSBGuard

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 12, 2026Apr 12, 2026

    • FileSnitch

      Public
      Rust
      •0•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • .github

      Public
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 15, 2025Dec 15, 2025

    • mcs-analyser

      Public
      A binary analysis tool to simulate and visualise the communication paths of multi-component systems.
      Python
      •
      MIT License
      •1•0•0•0•Updated Aug 14, 2025Aug 14, 2025

    • TraceGuard

      Public
      TraceGuard: Optimizing path exploration in symbolic execution using taint analysis to prioritize and user inputs.
      TeX
      •
      MIT License
      •1•0•0•0•Updated Jul 13, 2025Jul 13, 2025

    • DefectDojoUploader

      Public
      Easy Upload to Defect Dojo
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 20, 2024Nov 20, 2024

    • BinaryTesting-Simple-TestSet

      Public
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 14, 2024Nov 14, 2024

    • Sanitizing-Checker

      Public
      Checking for security and sanitizing features in a binary
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Nov 1, 2024Nov 1, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.