Project Everest: EverCrypt - Formally Verified Crypto Toolset - cypherpunks@lists.ogf.org - lists.ogf.org

newer
Facebook censorship

Project Everest: EverCrypt - Formally Verified Crypto Toolset

older
Censorship: Australia Law Passes...

grarpamp

6 Apr 2019 6 Apr '19

4:50 a.m.

https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proo... https://www.reddit.com/r/tezos/comments/8hrsz2/tezos_switches_cryptographic_... https://github.com/project-everest/hacl-star/blob/fstar-master/README.EverCr... https://project-everest.github.io/

Reply

Sign in to reply online Use email software

Show replies by date

2334

Age (days ago)

2334

Last active (days ago)

Download

0 comments

1 participants

tags

participants (1)

grarpamp