modern cryptography subgroup of cryptography, 2 assertions