Security Programming with High-Level Abstractions: a Tutorial (Extended Abstract)

Modesti, Paolo (2016) Security Programming with High-Level Abstractions: a Tutorial (Extended Abstract). In: HEA National Conference on Learning and Teaching in Cybersecurity, 15 Jun 2016, Maple House, Birmingham. (Unpublished)

WarningThere is a more recent version of this item available.
Modestihea-ncltc2016.pdf - Accepted Version

Download (143kB) | Preview

Search Google Scholar


The specification of security protocols with high-level programming abstractions, suited for security analysis and verification, has been advocated by the formal methods for security research community. Based on these principles of application design, we developed a tutorial to introduce undergraduate students to the foundations of security programming. The main pedagogical goal of this tutorial is to teach, in a simple and effective way, how to build secure distributed applications using common cryptographic primitives abstracting from their low-level details. The tutorial is aimed at helping the students to grasp quickly the main security concepts and to apply them effectively to the coding of distributed programs implementing security properties like authentication and secrecy. As programming is one of the main skills required by the cybersecurity industry, we believe that this tutorial can contribute to the professional development of future graduates.

Item Type: Conference or Workshop Item (Paper)
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing > Programming
Divisions: Faculty of Technology > School of Computer Science
Depositing User: Paolo Modesti
Date Deposited: 11 Oct 2016 13:45
Last Modified: 02 Jul 2019 09:11

Available Versions of this Item

Actions (login required)

View Item View Item


Downloads per month over past year