41,554 blogs · 5,225,211 posts Claim your blog

Record · corpus.blog/posts/01a08790-169f-712c-8462-3b41d5db282e

The EverCrypt verified cryptographic provider

Jonathan Protzenko | Google Information Security Engineering (Seattle) · published 2 April 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jonathan.protzenko.fr Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 8
Words captured: 772

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/project-everest/hacl-star/releases/tag/evercrypt-v0.1alpha1

github.com

https://github.com/project-everest/hacl-star/blob/fstar-master/README.EverCrypt.md

github.com

https://www.microsoft.com/en-us/research/blog/evercrypt-cryptographic-provider-offers-developers-greater-security-assurances/

microsoft.com

https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/

quantamagazine.org

https://github.com/project-everest/hacl-star/tree/evercrypt-v0.1%2B/dist

github.com

https://github.com/project-everest/hacl-star/issues/145

github.com

https://github.com/project-everest/hacl-star/issues

github.com

http://project-everest.github.io/

project-everest.github.io