Inria Joint Center
ニュース&特集
読み込み中…
ニュース | 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…
ニュース | Mozilla Security Blog
Verified cryptography for Firefox 57
Traditionally, software is produced in t…
ニュース | Microsoft Story Labs
Securing the Cloud
At any point in time on any day of the w…
ニュース | F* for the Masses
Introducing KreMlin
The work we do these days on F* is often…
ニュース | Quanta Magazine
Hacker-Proof Code Confirmed
In the summer of 2015 a team of hackers …
アワード | Computer-Aided Verification (CAV)
Samin Ishtiaq receives the 2016 CAV Award
Samin Ishtiaq will be receiving the 2016…