Skip to content
@kth-step

KTH STEP group

Secure and Trustworthy Execution Platforms @ KTH

Popular repositories Loading

  1. HolBA HolBA Public

    Binary analysis in HOL

    Standard ML 47 23

  2. s3k s3k Public

    Capability-based real-time separation kernel for secure embedded RISC-V.

    C 21 15

  3. HOL4P4 HOL4P4 Public

    P4 formalization using Ott and HOL4

    Standard ML 20 2

  4. itppv-course itppv-course Public

    Interactive Theorem Proving course using HOL4

    Standard ML 14 1

  5. EmbExp-Box_firmware EmbExp-Box_firmware Public

    C 4

  6. EmbExp-ProgPlatform EmbExp-ProgPlatform Public

    Embedded Experiments - the program platform

    C 3 3

Repositories

Showing 10 of 44 repositories
  • s3k-rocq-verif Public

    Specification and verification of S3K using the Rocq Prover

    kth-step/s3k-rocq-verif's past year of commit activity
    Rocq Prover 0 BSD-3-Clause 0 0 0 Updated Oct 29, 2026
  • HolBA Public

    Binary analysis in HOL

    kth-step/HolBA's past year of commit activity
    Standard ML 47 23 34 (1 issue needs help) 1 Updated Oct 29, 2026
  • holbuild-pl-example Public

    Example HOL4 project using holbuild

    kth-step/holbuild-pl-example's past year of commit activity
    Standard ML 0 Unlicense 0 0 0 Updated Oct 28, 2026
  • HOL4P4 Public

    P4 formalization using Ott and HOL4

    kth-step/HOL4P4's past year of commit activity
    Standard ML 20 Apache-2.0 2 0 1 Updated Oct 28, 2026
  • frama-c-arm8 Public

    Frama-C plugin for translation of ACSL contracts to ARMv8 binary contracts

    kth-step/frama-c-arm8's past year of commit activity
    C 1 BSD-3-Clause 0 0 0 Updated Oct 27, 2026
  • s3k Public

    Capability-based real-time separation kernel for secure embedded RISC-V.

    kth-step/s3k's past year of commit activity
    C 21 MIT 15 1 1 Updated Oct 27, 2026
  • plfm-course Public
    kth-step/plfm-course's past year of commit activity
    0 0 0 0 Updated Oct 15, 2026
  • BIR-angr Public
    kth-step/BIR-angr's past year of commit activity
    Python 1 1 0 0 Updated Jul 3, 2026
  • swswitch-perf Public

    A testbed for measuring the performance of software switches using Pktgen-DPDK.

    kth-step/swswitch-perf's past year of commit activity
    Shell 1 Apache-2.0 0 0 0 Updated Jun 28, 2026
  • sonic-pins Public Forked from sonic-net/sonic-pins

    P4 Integrated Network Stack (PINS)

    kth-step/sonic-pins's past year of commit activity
    C++ 0 Apache-2.0 47 0 0 Updated Jun 27, 2026
View all repositories