Skip to main content
Log in

Acta Informatica - Topical Collection on Hyperproperties: Foundations and Applications

Aims, Scope and Objective of Topical Collection

The study of hyperproperties has recently gained much attention in the formal methods, security, and cyber-physical systems communities. Hyperproperties generalize the conventional notion of specifications, defining properties of individual executions of a system, to relations between multiple executions. The added expressive power had enabled hyperproperties to become a widely-used formalism for expressing system properties such as information-flow policies, symmetry in hardware design, robustness in cyber-physical systems, as well as properties of learning-enabled systems, including monotonicity, fairness, and robustness of neural networks. The objective of this special issue is to highlight recent advances in the broad area of hyperproperties. Topics of interest include, but are not limited to: specification formalisms for hyperproperties - methods and tools for verifying, synthesizing, and monitoring hyperproperties - applications of hyperproperties as a formalism for robustness, causality, fairness, or privacy properties.

Acta Informatica Scope

Hyperproperties specify desired properties of a system and refer to a class of properties that relate multiple system executions (vs. what we call trace properties), expressing a wide range of properties from information flow and security policies to complex epistemic properties. Since their introduction in 2008, hyperproperties have been extensively studied within multiple areas of theoretical computer science. On the fundamental side, logics for expressing hyperproperties are constantly being developed, together with a study of their expressiveness and complexity of different problems for these logics (such as model checking, synthesis, and satisfiability). On the algorithmic and applications aspect, hyperproperties are studied in terms of algorithms for verifying systems w.r.t. hyperproperties and finding applications of hyperproperties in security, cyber-physical systems, distributed systems, and more.

Guest Editors

Hazem Torfah (Lead Guest Editor, Chalmers University of Technology, Sweden,
Hadar Frenkel, CISPA Helmholtz Center for Information Security, Germany,
Niklas Metzger, CISPA Helmholtz Center for Information Security, Germany,

Manuscript Submission Deadline:  15th August 2024

Peer Review Process

All the papers will go through peer review,  and will be reviewed by at least two reviewers. A thorough check will be completed, and the guest editor will check any significant similarity between the manuscript under consideration and any published paper or submitted manuscripts of which they are aware. In such case, the article will be directly rejected without proceeding further. Guest editors will make all reasonable effort to receive the reviewer’s comments and recommendation on time. The final decision is taken by the Editor-in-Chief.

The submitted papers must provide original research that has not been published nor currently under review by other venues. Previously published conference papers should be clearly identified by the authors at the submission stage and an explanation should be provided about how such papers have been extended to be considered for this special issue (with at least 30% difference from the original works).

Submission Guidelines

Paper submissions for the topical collection should strictly follow the submission format and guidelines ( (this opens in a new tab)). 

Manuscripts must be submitted via the 'Submit manuscript' button on the journal homepage.
During the submission process authors should select the appropriate collection title when asked if the manuscript belongs to a special issue.

Springer provides a host of information about publishing in a Springer Journal on our Journal Author Resources page, including  FAQs (this opens in a new tab),  Tutorials (this opens in a new tab)  along with  Help and Support (this opens in a new tab).

Other links include: