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 22

  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. 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 33 repositories
  • HolBA Public

    Binary analysis in HOL

    kth-step/HolBA’s past year of commit activity
    Standard ML 35 22 34 (1 issue needs help) 0 Updated Dec 23, 2024
  • 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 1 Updated Dec 23, 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 Dec 6, 2024
  • 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 143 0 0 Updated Dec 5, 2024
  • abs-metatheory Public
    kth-step/abs-metatheory’s past year of commit activity
    Coq 0 MIT 0 3 1 Updated Nov 22, 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 11, 2024
  • EmbExp-Logs Public
    kth-step/EmbExp-Logs’s past year of commit activity
    Python 0 2 0 0 Updated Oct 7, 2024
  • evoting-demonstrator Public
    kth-step/evoting-demonstrator’s past year of commit activity
    C 0 0 0 0 Updated Sep 14, 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 22 0 1 Updated Aug 30, 2024
  • fp-course Public
    kth-step/fp-course’s past year of commit activity
    1 0 0 0 Updated Jun 3, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…