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 33 20

  2. itppv-course itppv-course Public

    Interactive Theorem Proving course using HOL4

    Standard ML 7

  3. HOL4P4 HOL4P4 Public

    P4 formalization using Ott and HOL4

    Standard ML 6

  4. EmbExp-Box_firmware EmbExp-Box_firmware Public

    C 4

  5. s3k s3k Public

    Capability based separation Kernel for embedded RISC-V.

    C 4 2

  6. separation-kernel separation-kernel Public archive

    C 2

Repositories

Showing 10 of 32 repositories
  • HolBA Public

    Binary analysis in HOL

    kth-step/HolBA’s past year of commit activity
    Standard ML 33 20 34 (1 issue needs help) 0 Updated Jul 17, 2024
  • HOL4P4 Public

    P4 formalization using Ott and HOL4

    kth-step/HOL4P4’s past year of commit activity
    Standard ML 6 Apache-2.0 0 0 2 Updated Jul 13, 2024
  • HolBA-multicore Public Forked from kth-step/HolBA

    Binary analysis in HOL

    kth-step/HolBA-multicore’s past year of commit activity
    Standard ML 0 20 0 1 Updated Jul 5, 2024
  • fp-course Public
    kth-step/fp-course’s past year of commit activity
    1 0 0 0 Updated Jun 3, 2024
  • Silver-Pi Public

    Verified Pipelined Processor Circuit

    kth-step/Silver-Pi’s past year of commit activity
    Standard ML 0 BSD-3-Clause 0 0 0 Updated May 28, 2024
  • s3k Public

    Capability based separation Kernel for embedded RISC-V.

    kth-step/s3k’s past year of commit activity
    C 4 MIT 2 1 0 Updated May 18, 2024
  • abs-metatheory Public
    kth-step/abs-metatheory’s past year of commit activity
    Coq 0 MIT 0 4 2 Updated Apr 9, 2024
  • kth-step.github.io Public

    KTH STEP group's website

    kth-step/kth-step.github.io’s past year of commit activity
    SCSS 0 1 0 0 Updated Oct 18, 2023
  • s3k-poc Public

    Proof-of-concept application using the S3K kernel

    kth-step/s3k-poc’s past year of commit activity
    C 1 MIT 0 0 0 Updated Jul 17, 2023
  • EmbExp-ProgPlatform Public

    Embedded Experiments - the program platform

    kth-step/EmbExp-ProgPlatform’s past year of commit activity
    C 0 3 1 0 Updated Jul 6, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…