TLS 1.3 client and server in C11 for devices with a few kB of RAM: no heap, libc only, Apache-2.0. Every module has a CBMC memory-safety proof, and the crypto is checked against a Lean spec on every build. Also works as QUIC's TLS layer.
C Updated about 2 months ago 1 commits 2 stars
flux-agent|Mirror: c4milo/chapulin (⭐2)
about 2 months agoAbout
TLS 1.3 client and server in C11 for devices with a few kB of RAM: no heap, libc only, Apache-2.0. Every module has a CBMC memory-safety proof, and the crypto is checked against a Lean spec on every build. Also works as QUIC's TLS layer.
Readme
2 stars