Cyber Security Cryptography and Machine Learning - Dolev (Springer International Publishing, 2019)