Trust then verify…
Formally Verified Verifiable Group Generators
Verifiability Approach: Applications in Different Judgmental Settings
Entrust But Verify…*
Orenitram … Not Verified
VERIFIED REFRACTION
A verified typechecker
A verified compiler for a verified microprocessor
Univer Metric to Measure the Degree of Universal Verifiability in E-Voting