u/bjzabaPikelet, Fathomin r/ProgrammingLanguages • Recommends
Verified Programming with Project Everest
0:00 / 0:00
#projecteverest#f*#formalverification
Verified Programming with Project Everest
ACM SIGPLAN
11K subscribers • 61 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
Advanced. Deep dive for people who know the field.
882 views6 years ago2 recommendations
SecurityProgramming languagesFormal methods and verificationCryptographyWeb and application security
An overview of Project Everest, an initiative to construct a high-performance, fully verified HTTPS communication stack.
The uploader added no description.