Automated proofs for asymmetric encryption
scientific article; zbMATH DE number 5903832