Popular repositories Loading

Binary analysis in HOL

Standard ML 47 22
P4 formalization using Ott and HOL4

Standard ML 20 2
s3k s3k Public

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

C 19 11
Interactive Theorem Proving course using HOL4

Standard ML 14
Embedded Experiments - the program platform

C 3 3

Showing 10 of 42 repositories

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

kth-step/s3k's past year of commit activity

C
19
MIT
11 0 0
Updated Aug 13, 2026
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 Aug 10, 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 0
Updated Aug 5, 2026
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
kth-step/sonic-pins's past year of commit activity

C++
0
Apache-2.0
44 0 0
Updated Jun 27, 2026
kth-step/petr4's past year of commit activity

P4
0
Apache-2.0
25 0 0
Updated Jun 20, 2026
kth-step/Pktgen-DPDK's past year of commit activity

C
0 149 0 0
Updated Jun 20, 2026
kth-step/EmbExp-ProgPlatform's past year of commit activity

C
3 3 1 0
Updated Jun 8, 2026
kth-step/plfm-course's past year of commit activity

0 0 0 0
Updated Jun 4, 2026

Loading…

Loading…