Title: From Lambda Calculus to Cybersecurity Through Program Analysis