Repositories list

• HolBA

  Public
  Binary analysis in HOL

  Standard ML

  •

  Other

  •21•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• Plumber

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

  C

  •6•0•0•0•Updated Apr 30, 2024Apr 30, 2024

• pklee

  Public
  Implementation of Priority Based Searcher for KLEE Symbolic Execution Engine

  C++

  •

  Other

  •0•0•0•0•Updated Apr 16, 2024Apr 16, 2024

• CryptoBAP

  Public
  OCaml

  •3•3•0•0•Updated Sep 11, 2023Sep 11, 2023

• bir_angr

  Public
  Python

  •1•0•0•0•Updated May 25, 2023May 25, 2023