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, hazemto@chalmers.se
Hadar Frenkel, CISPA Helmholtz Center for Information Security, Germany, hadar.frenkel@cispa.de
Niklas Metzger, CISPA Helmholtz Center for Information Security, Germany, niklas.metzger@cispa.de
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 (https://www.springer.com/journal/236/submission-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:
- editorial policies (this opens in a new tab)
- publication policies (this opens in a new tab)
- copyright transfer (this opens in a new tab)
- self-archiving (this opens in a new tab)
- OA funding (this opens in a new tab)
- open choice (this opens in a new tab)
- funder compliance (this opens in a new tab)
- read and publish agreements (this opens in a new tab)
- preprint sharing (this opens in a new tab)
- my publication process (this opens in a new tab)
- production (this opens in a new tab)
- publication (this opens in a new tab)