research
∙
03/02/2023
Securing Verified IO Programs Against Unverified Code in F*
We introduce SCIO*, a formally secure compilation framework for statical...
share
research
∙
07/19/2020
Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny
We build a SAT solver implementing the DPLL algorithm in the verificatio...
research
∙
09/04/2019
