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.

Project Participants

The H.-Lo project sees the involvement of researchers at the Department of Computer Science at Reykjavik University and at the Department of Computer Science at Aalborg University, together with some of their co-workers at institutions in Italy, Malta and the Netherlands. It will be led by Luca Aceto (Reykjavik University and Gran Sasso Science Institute, PI), together with Elli Anastasiadi (Aalborg University, co-PI), Anna Ingólfsdóttir (Reykjavik University, co-PI), Kim G. Larsen (Aalborg University, co-PI) and Martin Zimmermann (Aalborg University, co-PI). Other key contributors to the project at Reykjavik University are Antonis Achilleos (Associate Professor), Aggeliki Chalki (Postdoc) and Nicola Del Giudice (Postdoc). Adrian Francalanza (Malta), Daniele Gorla (Rome "La Sapienza") and Jana Wagemaker (Radboud University Nijmegen), who co-authored one of the articles on which the project work builds, will also take part in research activities related to the project.

Project News

7-12 March 2027: Elli Anastasiadi and Martin Zimmermann will take part in, and contribute to, Dagstuhl Seminar 27101, Towards a Unified Theory and Application of Hyperproperties.
15-17 September 2026: Elli Anastasiadi co-organises GandALF 2026.
14 September 2026: Project meeting at the Department of Computer Science at Aalborg University. Details will be posted in due course.
1 September 2026-28 February 2027:Pietro Bernabei, PhD student at IMT Lucca, visits the project at Reykjavik University hosted by Luca Aceto.
8-22 June 2026: Luca Aceto visits the Department of Computer Science at Aalborg University.
15 April 2026: Nicola Del Giudice joins H.-Lo as a postdcotoral researcher from the University of Camerino.

Publications

Conference Papers

Sarah Winter and Martin Zimmermann. Logics for Context-free Hyperproperties. Proceedings of the 51st conference on Mathematical Foundations of Computer Science, MFCS 2026, 24-28 August 2026, Paris, France. To appear.

Submitted Papers

Luca Aceto, Antonis Achilleos, Aggeliki Chalki and Anna Ingólfsdóttir. Deciding characteristic formulae: A journey in the branching-time spectrum.
Gaetan Regaud and Martin Zimmermann. The Complexity of Asynchronous HyperLTL.

Last update: 19 June 2026