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 36 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
  • HOL4P4 Public

    P4 formalization using Ott and HOL4

    kth-step/HOL4P4’s past year of commit activity
    Standard ML 10 Apache-2.0 0 1 2 Updated Mar 21, 2025
  • s3k Public

    Capability based separation Kernel for embedded RISC-V.

    kth-step/s3k’s past year of commit activity
    C 5 MIT 2 0 0 Updated Mar 21, 2025
  • s3k-poc Public

    Proof-of-concept application using the S3K kernel

    kth-step/s3k-poc’s past year of commit activity
    C 1 0 0 0 Updated Mar 20, 2025
  • libs3k Public

    User-space library for S3K.

    kth-step/libs3k’s past year of commit activity
    C 0 0 0 0 Updated Mar 18, 2025
  • HolBA Public

    Binary analysis in HOL

    kth-step/HolBA’s past year of commit activity
    Standard ML 36 21 34 (1 issue needs help) 0 Updated Mar 18, 2025
  • s3k-examples Public
    kth-step/s3k-examples’s past year of commit activity
    Meson 0 MIT 0 0 0 Updated Mar 12, 2025
  • EmbExp-Logs Public
    kth-step/EmbExp-Logs’s past year of commit activity
    Python 0 2 0 0 Updated Mar 10, 2025
  • BIR-angr Public
    kth-step/BIR-angr’s past year of commit activity
    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.

    kth-step/HOL’s past year of commit activity
    Standard ML 0 146 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

    kth-step/syntax-course’s past year of commit activity
    Java 0 Unlicense 0 0 0 Updated Jan 14, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…