; the "naive" RSA algorithm; public key encryption and signature algorithms; cryptography based on

the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that