#demonstrable security #cryptographic tools #formal security models #discrete mathematics #public key cryptography #group theory #matrix groups #permutation groups