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

    A frontend for multiple SMT solvers in OCaml

    OCaml 28 8

  2. wasp wasp Public

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

    OCaml 14 1

  3. graphjs graphjs Public

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

    TypeScript 9 1

  4. explode-js explode-js Public

    Public mirror for Explode.js

    OCaml 2

  5. whilloc whilloc Public

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

    OCaml 7

  6. ocaml-cvc5 ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    OCaml 2 1

Repositories

Showing 10 of 26 repositories
  • ast-gen Public
    formalsec/ast-gen’s past year of commit activity
    JavaScript 2 MIT 0 1 1 Updated Dec 28, 2024
  • test262 Public
    formalsec/test262’s past year of commit activity
    JavaScript 0 0 0 0 Updated Dec 27, 2024
  • smtml Public

    A frontend for multiple SMT solvers in OCaml

    formalsec/smtml’s past year of commit activity
    OCaml 28 MIT 8 23 (6 issues need help) 0 Updated Dec 26, 2024
  • .github Public
    formalsec/.github’s past year of commit activity
    0 0 0 0 Updated Dec 26, 2024
  • explode-js Public

    Public mirror for Explode.js

    formalsec/explode-js’s past year of commit activity
    OCaml 2 MIT 0 13 1 Updated Dec 19, 2024
  • explodejs-datasets Public
    formalsec/explodejs-datasets’s past year of commit activity
    JavaScript 0 0 0 0 Updated Dec 18, 2024
  • 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 9 1 1 0 Updated Dec 17, 2024
  • MemoryModels Public
    formalsec/MemoryModels’s past year of commit activity
    OCaml 2 0 0 0 Updated Oct 24, 2024
  • ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    formalsec/ocaml-cvc5’s past year of commit activity
    OCaml 2 GPL-3.0 1 3 (1 issue needs help) 0 Updated Oct 23, 2024
  • smt-comp Public
    formalsec/smt-comp’s past year of commit activity
    SMT 1 0 0 0 Updated Oct 22, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…