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 smtml Public

    An SMT solver frontend for OCaml

    OCaml 34 9

  2. wasp wasp Public

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

    OCaml 15 1

  3. graphjs graphjs Public

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

    TypeScript 12 1

  4. whilloc whilloc Public

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

    OCaml 7

  5. ocaml-cvc5 ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    OCaml 3 1

Repositories

Showing 10 of 28 repositories
  • ast-gen Public
    formalsec/ast-gen’s past year of commit activity
    JavaScript 2 MIT 0 0 0 Updated Apr 21, 2025
  • explode-js_ng Public
    formalsec/explode-js_ng’s past year of commit activity
    OCaml 0 0 0 1 Updated Apr 21, 2025
  • explode-js Public

    Automated Exploit Generation for Node.js Packages

    formalsec/explode-js’s past year of commit activity
    OCaml 3 MIT 0 2 0 Updated Apr 18, 2025
  • smtml Public

    An SMT solver frontend for OCaml

    formalsec/smtml’s past year of commit activity
    OCaml 34 MIT 9 17 (2 issues need help) 2 Updated Apr 18, 2025
  • explodejs-datasets Public
    formalsec/explodejs-datasets’s past year of commit activity
    JavaScript 0 0 0 0 Updated Apr 18, 2025
  • explode-js_datasets Public
    formalsec/explode-js_datasets’s past year of commit activity
    JavaScript 0 CC-BY-SA-4.0 0 0 0 Updated Apr 14, 2025
  • graphjs Public

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

    formalsec/graphjs’s past year of commit activity
    TypeScript 12 1 0 0 Updated Apr 7, 2025
  • zeroday-results Public
    formalsec/zeroday-results’s past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 10, 2025
  • test262 Public
    formalsec/test262’s past year of commit activity
    JavaScript 0 0 0 0 Updated Feb 10, 2025
  • ecmasl-vim Public
    formalsec/ecmasl-vim’s past year of commit activity
    Vim Script 0 MIT 0 3 0 Updated Dec 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…