lists.cpunks.org
Sign In Sign Up
Manage this list Sign In Sign Up

Keyboard Shortcuts

Thread View

  • j: Next unread message
  • k: Previous unread message
  • j a: Jump to all threads
  • j l: Jump to MailingList overview
thread

Project Everest: EverCrypt - Formally Verified Crypto Toolset

grarpamp

6 Apr 2019 6 Apr '19
9: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/

0 0
Reply
Sign in to reply online Use email software

Back to the thread

Back to the list

HyperKitty Powered by HyperKitty version 1.3.12.