Formal Verification

Using mathematically rigorous proofs to ensure certain properties of cryptograph.