Kolloquium WiSe 2020/21

Speaker

Prof. Dr. Riccardo Scandariato

Hamburg University of Technology (TUHH)
Institute of Software Security

When: Mo, 08.02.2021, at 17:15

Online-Zoom-Meeting

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