kth-step/s3k-poc kth-step/s3k-poc

  • Stars
    star
    1
  • Language
    C
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kth-step/s3k-poc
github

kth-step

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proof-of-concept application using the S3K kernel

More Repositories

1

HolBA

Binary analysis in HOL
Standard ML
34
star
2

itppv-course

Interactive Theorem Proving course using HOL4
Standard ML
7
star
3

HOL4P4

P4 formalization using Ott and HOL4
Standard ML
6
star
4

EmbExp-Box_firmware

C
4
star
5

s3k

Capability based separation Kernel for embedded RISC-V.
C
4
star
6

separation-kernel

C
2
star
7

dma-controller-verification

Standard ML
1
star
8

mil

Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Standard ML
1
star
9

Silver-Pi

Verified Pipelined Processor Circuit
Standard ML
1
star
10

fp-course

1
star