On the symbolic reduction of processes with cryptographic functions.
scientific article; zbMATH DE number 1857129
scientific article