Skip to content
@FMSecure

Formal Methods for Security

Popular repositories Loading

  1. CryptoBAP CryptoBAP Public

    Forked from FaezehNasrabadi/CryptoBAP

    OCaml 3 1

  2. pklee pklee Public

    Implementation of Priority Based Searcher for KLEE Symbolic Execution Engine

    C++ 1

  3. HolBA HolBA Public

    Forked from kth-step/HolBA

    Binary analysis in HOL

    Standard ML

  4. Plumber Plumber Public

    Forked from hnemati/Plumber

    Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".

    C

  5. bir_angr bir_angr Public

    Forked from kth-step/BIR-angr

    Python

  6. pttel-theory pttel-theory Public

    Isabelle

Repositories

Showing 6 of 6 repositories
  • HolBA Public Forked from kth-step/HolBA

    Binary analysis in HOL

    FMSecure/HolBA’s past year of commit activity
    Standard ML 0 21 0 0 Updated Mar 5, 2025
  • CryptoBAP Public Forked from FaezehNasrabadi/CryptoBAP
    FMSecure/CryptoBAP’s past year of commit activity
    OCaml 3 4 0 0 Updated Feb 28, 2025
  • pttel-theory Public
    FMSecure/pttel-theory’s past year of commit activity
    Isabelle 0 0 0 0 Updated Feb 17, 2025
  • Plumber Public Forked from hnemati/Plumber

    Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".

    FMSecure/Plumber’s past year of commit activity
    C 0 6 0 0 Updated Apr 30, 2024
  • pklee Public

    Implementation of Priority Based Searcher for KLEE Symbolic Execution Engine

    FMSecure/pklee’s past year of commit activity
    C++ 1 0 0 0 Updated Apr 16, 2024
  • bir_angr Public Forked from kth-step/BIR-angr
    FMSecure/bir_angr’s past year of commit activity
    Python 0 1 0 0 Updated May 25, 2023

Top languages

Loading…

Most used topics

Loading…