Math Proofs & Derivations

Mathematical foundations of protocol design

On the way....