Skip to content
@KTH-SAFE

SAFE

Secure (µ)Arch. and Formal Engineering - @KTH

Popular repositories Loading

  1. CryptoBAP CryptoBAP Public

    Forked from FaezehNasrabadi/CryptoBAP

    CryptoBAP

    Standard ML 7 2

  2. pklee pklee Public

    Implementation of Priority Based Searcher for KLEE Symbolic Execution Engine

    C++ 2

  3. HolBA HolBA Public

    Forked from kth-step/HolBA

    Binary analysis in HOL

    Standard ML 1

  4. ectopass-website ectopass-website Public

    Website for Ectopass

    1

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

  6. bir_angr bir_angr Public

    Forked from kth-step/BIR-angr

    Python

Repositories

Showing 9 of 9 repositories
  • KTH-SAFE.github.io Public

    SAFE — Secure (µ)Architecture and Formal Engineering, KTH

    KTH-SAFE/KTH-SAFE.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Aug 5, 2026
  • CryptoBAP Public Forked from FaezehNasrabadi/CryptoBAP

    CryptoBAP

    KTH-SAFE/CryptoBAP's past year of commit activity
    Standard ML 7 AGPL-3.0 5 0 0 Updated Jul 10, 2026
  • ectopass-website Public

    Website for Ectopass

    KTH-SAFE/ectopass-website's past year of commit activity
    1 MIT 0 0 0 Updated Jul 6, 2026
  • HolBA Public Forked from kth-step/HolBA

    Binary analysis in HOL

    KTH-SAFE/HolBA's past year of commit activity
    Standard ML 1 22 0 0 Updated May 26, 2026
  • pttel-theory Public
    KTH-SAFE/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".

    KTH-SAFE/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

    KTH-SAFE/pklee's past year of commit activity
    C++ 2 0 0 0 Updated Apr 16, 2024
  • bir_angr Public Forked from kth-step/BIR-angr
    KTH-SAFE/bir_angr's past year of commit activity
    Python 0 1 0 0 Updated May 25, 2023
  • SpectrePoC Public Forked from crozone/SpectrePoC

    Proof of concept code for the Spectre CPU exploit.

    KTH-SAFE/SpectrePoC's past year of commit activity
    C 0 94 0 0 Updated Jan 28, 2023

Most used topics

Loading…