Online-Vortrag von Prof. Dr. Riccardo ScandariatoModels vs. Code - The case of security validation

8. Februar 2021

Foto: UHH/FBI

Im Rahmen des Informatischen Kolloquiums begrüßt der Fachbereich Informatik am Montag, 08.02.2021, um 17:15 Uhr Herrn Prof. Dr. Riccardo Scandariato (TUHH). Das Kolloquium wird online mit Zoom abgehalten.

Speaker
Prof. Dr. Riccardo Scandariato

Hamburg University of Technology (TUHH)
Institute of Software Security

When: Mo, 08.02.2021, at 17:15

Online Lecture via Zoom

You will receive the registration data via an email invitation. Please register for this at https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium.

Topic
Models vs. Code - The case of security validation

Language: English

Abstract
In this talk, I will discuss the challenges of automating the security validation of design models and, at the same time, keeping the models light-weight and usable. This trade-off is difficult and yet essential in a world dominated by a faster-and-faster pace of development and by the endemic shortage of security experts. Furthermore, this talk argues that design-level validation techniques are only truly useful if the design models are connected to the implementation code, which is a non trivial problem.

Bio
Riccardo received his PhD in Computer Science in 2004 from Politecnico di Torino, Italy. In his academic career he had the opportunity to work in several countries, including the United States (University of Virginia, 2003), Italy (Politecnico di Torino, 2004-2005), Belgium (KU Leuven, 2006-2014) and Sweden (University of Gothenburg, 2014-2020). Since late 2020, he is the head of the Institute of Software Security at the Hamburg University of Technology (TUHH), in Germany. His work focuses on the design of secure and privacy-friendly applications, particularly in the realms of μ-services, IoT ecosystems, and cyber-physical systems. For more info, please check scandariato.org.

Contact
Prof. Dr.-Ing. Hannes Federrath, Prof. Dr. Mathias Fischer