Pasquale Malacaria

• From Lambda Calculus to Cybersecurity Through Program Analysis