Various Cryptographic-Related Formulae