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)

This is the latest version of this item.

[img]
Preview
PDF
hea-ncltc2016.pdf - Accepted Version

Download (144kB) | Preview

Abstract

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 Applied Sciences > Department of Computing Engineering and Technology
Depositing User: Paolo Modesti
Date Deposited: 09 Dec 2016 16:29
Last Modified: 07 Aug 2017 13:38
URI: http://sure.sunderland.ac.uk/id/eprint/6703

Available Versions of this Item

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year