EASST Award for the TrustCPS Group at ETAPS 2022

At the 2022 European Joint Conferences (ESOP, FASE, FoSSaCS and TACAS) on Theory and Practice of Software (ETAPS) held in Munich (2-7 April 2022), a multi-institutional team of researchers from AIT (Dejan Nickovic), IST (Thomas A. Henzinger, Thomas Ferrere) and TU Wien (Ezio Bartocci, Ana Oliveira da Costa) has been recognized by the European Association of Software Science and Technology (EASST) with the EASST Award (Best Software Science Paper Award) for their work “Information-flow Interfaces”.

This paper presents the first contract-based approach to ensure information-flow properties specifying which information a software/hardware component can observe or to interfere with while interacting with another component.

Each year, the “ETAPS EASST Award'' is assigned to the best paper of all ETAPS conferences (ESOP, FASE, FoSSaCS and TACAS) related to the systematic and rigorous engineering of software and systems. This year ETAPS has received 362 submissions in total and 111 of them were accepted.

The members of TrustCPS group have received two nominations for the same award:

  • Ezio Bartocci, Thomas Ferrère, Thomas Henzinger, Dejan Nickovic and Ana Oliveira Da Costa. Information-flow Interfaces accepted in FASE 2022
  • Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretinsky and Laura Nenzi. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes accepted in TACAS 2022

You can view a list of the best papers at https://etaps.org/2022/best-papers.