Mathematical Modeling and Formal Verification of Algorithms Questions

Ability to build mathematical models of cryptographic algorithms, understand formal verification techniques and their applicability. Knowledge of what can be proven formally vs. what requires empirical validation. Experience using or understanding formal methods tools for cryptographic analysis.