HYPER 2024 HYPER 2023 HYPER 2021

HYPER 2024

3rd Workshop on Hyperproperties: Advances in Theory and Applications

23 July @ CAV 2024

Montreal, Canada

The study of hyperproperties has recently gained a great deal of attention in the formal methods, security, and cyber-physical systems communities. They have 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. The goal of this workshop is to foster the exchange of ideas on the topic of hyperproperties between researchers from these diverse communities and to present and discuss recent advances in formalisms and methods for specifying and analyzing hyperproperties. Topics of interest include, but are not limited to, developments on logical formalisms for specifying hyperproperties, algorithmic methodologies for the verification, synthesis, and runtime verification of hyperproperties, as well as applications related to the fields of cyber-physical systems, security and machine learning.

Invited Speakers


Fred Schneider

Cornell, USA


Hagit Attiya

Technion, Israel


Jana Hofmann

Azure Reserach, UK


Xiang Yin

Shanghai Jiao Tong University, China

Call for Presentations

The HYPER workshop aims to bring together researchers interested in the broad area of hyperproperties and working in the areas of formal methods and control, cybersecurity, and machine learning. HYPER 2024 is co-located with CAV 2024, and will take place in Montreal, Canada, on July 23, 2024. Topics of interest include, but are not limited to:

  • Specification formalisms for hyperproperties
  • Algorithms for verification, synthesis, and runtime verification for hyperproperties
  • Information-flow control
  • Privacy
  • Fairness
  • Causality
  • Robustness
  • Explainability
  • Presentation proposals shall be submitted in form of an extended abstract of up to three pages in LNCS format (not including references) via the easychair link https://easychair.org/my/conference?conf=hyper24. Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop. The review process will be single blind and the deadline for submission is May 16, 2024 AoE.

    Selected submissions will be invited for a topical collection on Hyperproperties at Acta Informatica.



    Hadar Frenkel

    CISPA, Germany


    Niklas Metzger

    CISPA, Germany


    Hazem Torfah

    Chalmers University, Sweden