You might be interested in https://www.microsoft.com/en-us/research/publication/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lmm on April 21, 2021 | parent | context | favorite | on: Preparing Rustls for Wider Adoption

You might be interested in https://www.microsoft.com/en-us/research/publication/coq-wor... if you've not seen it already.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact