Project Everest

Building and deploying provably secure communication software

视频

a screenshot of a cell phone

0:16:54

Programming with Proofs for High-assurance Software

2020年8月28日

Speakers : Aseem Rastogi, Nikhil Swamy, Jonathan Protzenko, Tahina Ramananandro

所属单位 : Microsoft Research