Automatic solvers for interesting cryptographic problems [Monoalphabetic Substitution](Classic/Monoalphabetic Substitution) Bleichenbacher RSA Padding Attack