research
∙
04/09/2019
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
We develop a new approach for building cryptographic implementations. Ou...
share
research
∙
03/14/2018
An Assertion-Based Program Logic for Probabilistic Programs
Research on deductive verification of probabilistic programs has conside...
research
∙
08/08/2017
