Language Based Technologies for Security Material related to the Language Based Technologies for Security course of the University of Pisa assignments: mandatory assignments for the exam notes: my final notes and summaries