Project Everest
Building and deploying provably secure communication software
ニュース&特集
読み込み中…
ニュース | CyLab
Building a verifiably-secure internet
In security, almost nothing is guarantee…
ニュース | Jonathan Protzenko Blog
Generating C code that people actually want to use
Project Everest is a large, collaborativ…
Microsoft Research ブログ
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collabora…
Microsoft Research ポッドキャスト
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 – Dr. Protze…
ニュース | LWN.net
Zinc: a new kernel cryptography API
We looked at the WireGuard virtual priva…
ニュース | reddit r/tezos
Tezos Switches Cryptographic Libraries from TWEETNACL to HACL!
We just saw a result from INRIA (Institu…
ニュース | Franzis Kuskiefer Blog
Shipping (some) HACL*
In this second blog post I describe the …
ニュース | Franzis Kuskiefer Blog
The HACL* approach
HACL* (High-Assurance Cryptographic Libr…
Microsoft Research ポッドキャスト
How Programming Languages Quietly Run the World with Dr. Ben Zorn
In an era of AI breakthroughs and other …