HYPER 2023

HYPER 2023

Workshop on Hyperproperties:
Advances in Theory and Practice

18 July @ CAV 2023

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

Finkbeiner

Bernd Finkbeiner

CISPA, Germany

Gupta

Aarti Gupta

Princeton, USA

Palamidessi

Catuscia Palamidessi

INRIA, France

Zamani

Majid Zamani

CU Boulder, USA

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. 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). Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop.

    Program

    8:50 Kick-off

    9:00 Session 1
    09:00 - 09:45 Invited talk Bernd Finkbeiner
    09:45 - 10:05 Contributed talk Ana Oliveira Da Costa
    10:05 - 10:25 Contributed talk Tzu-Han Hsu, Borzoo Bonakdarpour and Cesar Sanchez

    10:30 Coffee/Tea break

    11:00 Session 2
    11:00 - 11:45 Invited talk Aarti Gupta
    11:45 - 12:30 Invited talk Majid Zamani

    12:30 Lunch

    14:00 Session 3
    14:00 - 14:45 Invited talk Catuscia Palamidessi TBA
    14:45 - 15:05 Contributed talk Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber
    15:05 - 15:25 Contributed talk Inigo Incer

    15:30 Coffee/Tea break

    16:00 Session 4
    16:00 - 16:20 Contributed talk Hadar Frenkel
    16:20 - 16:40 Contributed talk Raven Beutner and Bernd Finkbeiner
    16:40 - 17:00 Contributed talk Yang Liu and Chris Yuhao Liu

    17:00 Panel

    17:45 End

    Organization

    Rayna

    Rayna Dimitrova

    CISPA, Saarbrücken, Germany

    Daniel

    Daniel Fremont

    University of California, Santa Cruz, USA

    Hazem

    Hazem Torfah

    University of California, Berkeley, USA