Skip to content
@FMSecure

Formal Methods for Security

Popular repositories Loading

  1. CryptoBAP CryptoBAP Public

    Forked from FaezehNasrabadi/CryptoBAP

    OCaml 3

  2. HolBA HolBA Public

    Forked from kth-step/HolBA

    Binary analysis in HOL

    Standard ML

  3. 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

  4. bir_angr bir_angr Public

    Forked from Tiziano-M/fence_insertion

    Python

  5. pklee pklee Public

    Implementation of Priority Based Searcher for KLEE Symbolic Execution Engine

    C++

Repositories

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

    Binary analysis in HOL

    FMSecure/HolBA’s past year of commit activity
    Standard ML 0 22 0 0 Updated Dec 3, 2024
  • 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++ 0 0 0 0 Updated Apr 16, 2024
  • CryptoBAP Public Forked from FaezehNasrabadi/CryptoBAP
    FMSecure/CryptoBAP’s past year of commit activity
    OCaml 3 3 0 0 Updated Sep 11, 2023
  • bir_angr Public Forked from Tiziano-M/fence_insertion
    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…