Hyperlogics: Expressiveness, Monitorability and Tools (H.-Lo)
Hyperlogics: Expressiveness, Monitorability and Tools (H.-Lo)
Funded by the Icelandic Research Fund, 2026-2028
Project no. 2612260-051
Aims of the Project
The overarching aims of the H.-Lo project are
to obtain a complete picture of the expressive power of the main logics that have been proposed to describe hyperproperties,
which are important requirements on the behaviour of computing systems (including secure information flow,
service-level agreements and mean response time, amongst others) expressed in terms of sets of their executions;
to give correct-by-construction monitor-synthesis procedures that generate communicating decentralised monitors for fragments of an expressive,
touchstone specification logic for hyperproperties;
to offer a precise characterisation of the monitoring power of various types of communicating decentralised monitors;
and
to build prototype software tools for runtime monitoring based on the aforementioned theoretical advances.