From Lambda Calculus to Cybersecurity Through Program Analysis - Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (Springer, 2020)