Besides aiding in verification, does writing an austere TLS implementation like ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

skibz on March 23, 2024 | parent | context | favorite | on: Bertie – A minimal, high-assurance implementation ...

Besides aiding in verification, does writing an austere TLS implementation like this also potentially make it suitable for resource-constrained targets, like microcontrollers?

eptcyka on March 23, 2024 [–]

If it has an FFI, it'll definitely beat compiling openssl wherever you can get by with just using tls1.3.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact