Project Everest
Building and deploying provably secure communication software
新闻与深度文章
加载中…
新闻报道 | 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…
Jeannette M. Wing Photo credit: Scott Ek…