Skip to content

@KTH-LangSec KTH-LangSec

Change the repository type filter

All

    Repositories list

    21 repositories

    • shiftleft.proj.kth.se

      Public
      The source for the website of the ShiftLeft project
      0•2•0•0•Updated May 29, 2026May 29, 2026

    • cdis-poster

      Public
      Template for CDIS posters
      TeX
      •0•0•0•0•Updated Mar 3, 2026Mar 3, 2026

    • ProtoDasty

      Public
      Tool based on Dasty and NodeProf to detect prototype pollution vulnerabilities in NPM packages.
      JavaScript
      •
      MIT License
      •0•2•0•0•Updated Feb 18, 2026Feb 18, 2026

    • classa

      Public
      Classa: Uncovering Class Pollution in Python -- Measuring Class Pollution Vulnerabilities of 3000 Real-World Python Projects
      Rust
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Jan 9, 2026Jan 9, 2026

    • nodeshield

      Public
      Runtime Enforcement of Security-Enhanced SBOMs for Node.js
      web-securityweb-application-securitysbom
      web-securityweb-application-securitysbomsupply-chain-security
      JavaScript
      •
      BSD-2-Clause Plus Patent License
      •1•9•0•0•Updated Sep 1, 2025Sep 1, 2025

    • jpf-dyncover

      Public
      DynCoVer
      Java
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated May 15, 2025May 15, 2025

    • TAPShield

      Public
      A framework to secure Trigger-Action Platforms (TAPs)
      javascripttapiot
      javascripttapiotsandboxingconfidential-computing
      Python
      •0•0•0•0•Updated Mar 18, 2025Mar 18, 2025

    • server-side-prototype-pollution

      Public
      A collection of Server-Side Prototype Pollution gadgets and exploits
      javascriptsecuritytypescript
      javascriptsecuritytypescriptexploitsvulnerabilitiesgadgetsprototype-pollution
      JavaScript
      •
      MIT License
      •20•236•1•0•Updated Feb 6, 2025Feb 6, 2025

    • ghunter4deno

      Public
      Universal Prototype Pollution Gadgets in the Deno Runtime
      TypeScript
      •
      MIT License
      •1•1•0•1•Updated Jan 21, 2025Jan 21, 2025

    • ghunter

      Public
      Universal Prototype Pollution Gadgets in JavaScript Runtimes
      0•9•1•0•Updated Oct 18, 2024Oct 18, 2024

    • silentspring4ghunter

      Public
      Fork of SilentSpring used in the evaluation of GHunter
      JavaScript
      •
      MIT License
      •12•0•0•0•Updated Oct 17, 2024Oct 17, 2024

    • TAP4S

      Public
      TAP4S (Type-based Analysis for P4 Security)
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Sep 26, 2024Sep 26, 2024

    • ghunter4node

      Public
      Universal Prototype Pollution Gadgets in the Node.js Runtime
      JavaScript
      •
      MIT License
      •0•4•1•0•Updated Aug 26, 2024Aug 26, 2024

    • Dasty

      Public
      Performant prototype pollution gadgets detection tool for Node.js applications.
      JavaScript
      •
      MIT License
      •1•12•0•0•Updated Feb 16, 2024Feb 16, 2024

    • TroupeLang

      Public
      Troupe programming language
      TypeScript
      •16•0•0•0•Updated Feb 15, 2024Feb 15, 2024

    • silent-spring

      Public
      Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js
      JavaScript
      •
      MIT License
      •12•75•0•0•Updated Jan 21, 2024Jan 21, 2024

    • nodeprof.js

      Public
      Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
      Java
      •
      Apache License 2.0
      •24•4•0•0•Updated Nov 6, 2023Nov 6, 2023

    • DiVerT

      Public
      DiVerT (Disjunctive Verification with Types)
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 3, 2023Oct 3, 2023

    • npm-dependency-guardian

      Public archive
      A containerized fork of npm-dependency-guardian
      JavaScript
      •
      MIT License
      •1•0•0•0•Updated May 31, 2023May 31, 2023

    • Troupe-user-guide

      Public
      Troupe user guide
      TeX
      •2•0•0•0•Updated Apr 6, 2022Apr 6, 2022

    • SerialDetector

      Public
      A proof-of-concept tool for detection and exploitation Object Injection Vulnerabilities in .NET applications
      C#
      •6•63•2•0•Updated Jan 29, 2021Jan 29, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.