Skip to content
@formalsec

Formal Security for Web Technologies

Research Group
README.md

Welcome to Formalsec!

Formalsec is dedicated to enhancing system security through the power of formal methods, connecting rigorous research with real-world cybersecurity challenges.

Pinned Loading

  1. smtml Public

    An SMT solver frontend for OCaml

    OCaml 34 8

  2. wasp Public

    WASP was superseded by: https://github.com/OCamlPro/owi

    OCaml 14 1

  3. graphjs Public

    MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

    TypeScript 12 1

  4. ECMA-SL Public

    ECMAScript Specification Language, a new framework for creating dynamic analyses for JavaScript.

    JavaScript 6 1

  5. whilloc Public

    A simple "while"-like programming language that includes memory allocation support.

    OCaml 7

  6. ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    OCaml 3 1

Repositories

Showing 10 of 28 repositories
  • graphjs Public

    MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

    TypeScript 12 1 0 0 Updated Mar 25, 2025
  • explodejs-datasets Public
    JavaScript 0 0 0 0 Updated Mar 25, 2025
  • explode-js Public

    Automated Exploit Generation for Node.js Packages

    OCaml 2 MIT 0 5 0 Updated Mar 24, 2025
  • smtml Public

    An SMT solver frontend for OCaml

    OCaml 34 MIT 8 16 (2 issues need help) 2 Updated Mar 21, 2025
  • ECMA-SL Public

    ECMAScript Specification Language, a new framework for creating dynamic analyses for JavaScript.

    JavaScript 6 GPL-3.0 1 15 (1 issue needs help) 0 Updated Mar 21, 2025
  • ast-gen Public
    JavaScript 2 MIT 0 0 0 Updated Mar 12, 2025
  • zeroday-results Public
    JavaScript 0 0 0 0 Updated Mar 10, 2025
  • test262 Public
    JavaScript 0 0 0 0 Updated Feb 10, 2025
  • ecmasl-vim Public
    Vim Script 0 MIT 0 3 0 Updated Dec 30, 2024
  • .github Public
    0 0 0 0 Updated Dec 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…