Online meeting between the Maltese and the Slovak teams

SPS 60 years

Duration: Sep 2, 2020

ProgrammePDF version

2 Sep

09:30-10:30

Session 1

Participants: Christian Colombo, Mark Vella, Robert Abela, Otokar Grosek, Pavol Zajac, Viliam Hromada, Ondrej Gallo, Tomas Fabsic, Peter Spacek, Peter Sys

Program:

1. The Maltese team presented their recent progress on their case study concerning an application of runtime verification to encryption in Mozilla Firefox.
2. The Slovak team presented the current state of a chat application which they developed. The application uses the quantum future group key exchange protocol proposed by the Spanish and the US teams.
3. The Maltese and the Slovak teams discussed priorities in the future development of the application and possible ways of applying runtime verification to the application.

11:00-11:30

Session 2

Participants: Peter Sys (Slovak team) and Robert Abela (Maltese team)

Program:

1. Peter Sys gave Robert Abela the source code of the chat application and they discussed the code in detail.

14:00-15:00

Session 3

Participants: Christian Colombo, Mark Vella, Robert Abela, Viliam Hromada, Tomas Fabsic, Peter Spacek, Peter Sys

Program:

1. Christian Colombo presented an outline of a paper on an application of runtime verification to the chat application developed by the Slovak team.
2. Participants’ roles in the paper preparation were discussed.

Photo