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 35 21

  2. itppv-course itppv-course Public

    Interactive Theorem Proving course using HOL4

    Standard ML 10

  3. HOL4P4 HOL4P4 Public

    P4 formalization using Ott and HOL4

    Standard ML 10

  4. s3k s3k Public

    Capability based separation Kernel for embedded RISC-V.

    C 5 2

  5. EmbExp-Box_firmware EmbExp-Box_firmware Public

    C 4

  6. separation-kernel separation-kernel Public archive

    C 2

Repositories

Showing 10 of 37 repositories
  • s3k-poc Public

    Proof-of-concept application using the S3K kernel

    C 1 0 0 0 Updated Mar 19, 2025
  • HOL4P4 Public

    P4 formalization using Ott and HOL4

    Standard ML 10 Apache-2.0 0 1 2 Updated Mar 18, 2025
  • libs3k Public

    User-space library for S3K.

    C 0 0 0 0 Updated Mar 18, 2025
  • s3k Public

    Capability based separation Kernel for embedded RISC-V.

    C 5 MIT 2 0 0 Updated Mar 18, 2025
  • HolBA Public

    Binary analysis in HOL

    Standard ML 35 21 34 (1 issue needs help) 0 Updated Mar 18, 2025
  • s3k-examples Public
    Meson 0 MIT 0 0 0 Updated Mar 12, 2025
  • EmbExp-Logs Public
    Python 0 2 0 0 Updated Mar 10, 2025
  • BIR-angr Public
    Python 0 1 0 0 Updated Mar 4, 2025
  • HOL Public Forked from HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

    Standard ML 0 147 0 0 Updated Feb 24, 2025
  • syntax-course Public

    Code and other material related to a course in Swedish on formal languages and syntax analysis

    Java 0 Unlicense 0 0 0 Updated Jan 14, 2025