From Lambda Calculus to Cybersecurity Through Program Analysis