SaS Seminars
Software and Systems Research Seminar Series
The SaS Seminars are a permanent series of open seminars of the Division of Software and Systems (SaS) at the Department of Computer and Information Science (IDA), Linköping University. The objective of the seminars is to present outstanding research and ideas/problems relevant for SaS present and future activities. In particular, seminars cover the SaS research areas software engineering, programming models and environments, software and system modeling and simulation, system software, embedded SW/HW systems, computer systems engineering, parallel and distributed computing, realtime systems, system dependability, and software and system verification and testing.
Two kinds of seminars are planned:
talks by invited speakers not affiliated with SaS,
seminars by SaS researchers presenting lab research to whole SaS (and other interested colleagues).
The speakers are expected to give a broad perspective of the presented research, adressing the audience with a general computer science background but possibly with no specific knowledge in the domain of the presented research. The normal length of a presentation is 60 minutes, including discussion.
The SaS seminars are coordinated by Christoph Kessler.
SaS seminars 2025
- 28/2 10:15 (Lovelace) - S. Mödersheim, DTU: "Composition and Automated Verification of Stateful Security Protocols in Isabelle/HOL"
- 4/3 13:15 (Lovelace) - F. Heintz, IDA: (Title TBA)
- 6/3 13:15 (Turing) - J. Madsen, DTU: "Liquid Computing"
Liquid Computing
Prof. Jan Madsen, DTU
Thursday, 6 March 2025, 13:15, room Alan Turing, IDA
Abstract:
A key turning point for the evolution of modern computers was the introduction of the general-purpose computer architecture which allowed the computer to be programmed after hardware fabrication. This allowed hardware to be designed bottom-up, providing a hardware independent programming interface which could then be compiled from a high-level programming language, effectively separating the design of hardware (processor) and software (application). Today, microfluidic Lab-on-Chip are still mainly developed as hardcoded applications using passive operations, even though microfluidic technologies have the potential to scale. In this talk we argue that such scaling will require active components and the ability to abstract basic operations to a level similar to that of classical computation, and present a digital microfluidic-based general-purpose Lab-on-Chip that can be programmed after fabrication. We show that parallel execution of multiple protocols are possible, and that EDA tools for MPSoC can be adapted to solve and optimize protocol execution on digital microfluidic Lab-on-Chip, which we call liquid computing.
Speaker's bio:
Jan Madsen is Full Professor in Computer-Based Systems and Head of Department of Applied Mathematics and Computer Science (DTU Compute). He holds a MSc in Electrical Engineering (1986, DTU) and a PhD in Computer Science (1992, DTU). His research interests are in the intersection between computer science and biotechnology, with a special focus on design, modelling, and construction of microelectronic (MPSoC and IoT), microfluidic (Lab-on-Chip) and microbiological (molecular) computing systems, including the development of design automation tools and design methodologies. In these fields, he has co-authored more than 200 peer-reviewed journal and conference papers, 3 books, 13 book chapters, and 3 patents. He has co-supervised 51 PhDs. He was the General Chair of DATE 2018, NOCS 2012, CODES 2001 and the Technical Program Chair of DATE 2007, CODES+ISSS 2011, CODES 2000. Dr. Madsen is a board member of EDAA, member of the Academy of Technical Sciences and its Council for Technology and Society. He was National ICT Expert for EU Horizon 2020. He is member of IEEE and ACM.
Title TBA
Prof. Fredrik Heintz, IDA
Tuesday, 4 March 2025, 13:15, room Ada Lovelace, IDA
Abstract:
TBA
Speaker's bio:
TBA
Composition and Automated Verification of Stateful Security Protocols in Isabelle/HOL
Associate Prof. Sebastian Mödersheim, DTU, Denmark
Friday, 28 February 2025, 10:15, room Ada Lovelace, IDA
Abstract:
Composition is the question: given that two protocols are secure in
isolation, are they also secure together - running on the same
network and sharing the same key infrastructure? A particular
challenge is if the protocols are stateful, e.g., a server that
maintains long-term information in a database; if such a server is
involved in more than one protocol, then compositional verification
requires an appropriate interface between the protocols in terms of
assumptions and guarantees by each protocol concerning the database.
One can then verify that each protocol is secure in
isolation w.r.t. this interface, and obtain that the composed system
is secure. The compositionality theorem is formalized in Isabelle/HOL
so one can automatically check the requirements to the protocols and
thus turn a proof of security for individual protocols into a proof
for the composed protocol. To obtain the proof for the individual
protocols automatically, too, we have designed the PSPSP tool that
uses abstract interpretation to obtain an Isabelle proof for a large
class of stateful protocols. Together one can thus automatically
obtain a machine-checked proof for many composed stateful protocol systems.
Speaker's bio:
Sebastian Mödersheim
received his PhD in 2006 at ETH Zürich (advisor: David Basin).
During 2007-2009 he was postdoc at IBM Zürich.
Since 2010 he is Associate Professor at DTU in the Software Systems Engineering group
(former Formal Methods, former Language-Based Technology headed by Hanne Riis Nielson).
His research interests include: formal methods for security and privacy, specifically modelling;
automated verification; and compositional reasoning for security protocols.
He developed many verification tools (and corresponding languages),
including AVISPA/OFMC, AIF, and PSPSP.
Previous SaS Seminars
For previous SaS seminars in 2001 - 2024 see below.- 2024
- 2023
- 2021-22
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2001
Page responsible: Christoph Kessler
Last updated: 2025-02-11