HYPER — PROGRAM

Days: Friday, 24 July 2026

Friday, 24 July 2026
08:55-09:00 Kick-off HYPER
Location: C3.01
09:00-09:45 Invited talk 1 HYPER
Location: C3.01
09:00-09:45
When Runs Align: Reductions for Concurrency and Recursion (abstract) 45 min
Azadeh Farzan1
1 University of Toronto
09:45-10:15 Contributed talks 1 HYPER
Location: C3.01
09:45-10:00
Hyper Separation Logic (abstract) 15 min
Trayan Gospodinov1, Peter Müller2, Thibault Dardinier3
1 INSAIT, Sofia University “St. Kliment Ohridski”
2 ETH Zurich
3 EPFL
10:00-10:15
Heisenbugs and their causes as hyperproperties (abstract) 15 min
Sarah Sallinger1, Georg Weissenbacher1, Florian Zuleger1
1 TU Wien
10:15-10:30 Q&A 1 HYPER
Location: C3.01
10:30-11:00 Coffee break HYPER
Location: C3.01
11:00-11:45 Invited talk 2 HYPER
Location: C3.01
11:00-11:45
The Many Facets of Temporal Hyperlogics (abstract) 45 min
César Sánchez1
1 IMDEA Software Institute
11:45-12:20 Contributed talks 2 HYPER
Location: C3.01
11:45-12:00
On the Expressive Power of HyperLTL Compared to the Polyadic μ-Calculus (abstract) 15 min
Lars-Eric Marquardt1, Martin Lange1
1 University of Kassel
12:00-12:10
HyperQB 2.0: A Bounded Model Checker for Hyperproperties (abstract) 10 min
Tzu-Han tzuhan@msu.edu, Milad milad@msu.edu, Kenneth rogaleke@msu.edu, Fedor filippo2@msu.edu, Marco A.1, Borzoo borzoo@msu.edu
1 de Oliveira Batista
12:10-12:20
HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation (abstract) 10 min
Arshia Rafieioskouei1, Tzu-Han Hsu1, Matthew Lucas1, Borzoo Bonakdarpour1
1 Michigan State University
12:20-12:35 Q&A 2 HYPER
Location: C3.01
12:35-14:00 Lunch break HYPER
Location: C3.01
14:00-14:45 Invited talk 3 HYPER
Location: C3.01
14:00-14:45
Specifying and Preserving Security Hyperproperties with Real–Ideal Simulation (abstract) 45 min
Andrew Myers1
1 Cornell University
14:45-15:30 Contributed talks 3 HYPER
Location: C3.01
14:45-15:00
A Deductive System for Fair Simulation Proofs (abstract) 15 min
Iona Kuhn1, Arthur Correnson1, Bernd Finkbeiner1
1 CISPA Helmholtz Center for Information Security
15:00-15:15
Coinductive Proofs for Temporal \forall\exists-Hyperproperties (abstract) 15 min
Arthur Correnson1, Bernd Finkbeiner1
1 CISPA Helmholtz Center for Information Security
15:15-15:30
Information Flow Security for Concurrent Programs: Commutativity and Beyond (abstract) 15 min
Marco Eilers1
1 ETH Zurich
15:30-15:45 Q&A 3 HYPER
Location: C3.01
15:45-16:00 Coffee break HYPER
Location: C3.01
16:00-16:45 Invited talk 4 HYPER
Location: C3.01
16:00-16:45
Verification of Equivalence Properties in Cryptographic Protocols (abstract) 45 min
Steve Kremer1
1 Inria Centre at Université de Lorraine
16:45-17:25 Contributed talks 4 HYPER
Location: C3.01
16:45-17:00
Disintegration Temporal Logic for Probabilistic Hyperproperties (abstract) 15 min
Mishel Carelli1, Bernd Finkbeiner2
1 CISPA Helmholtz Center for Information Security
2 CISPA Helmholtz Center for Information Security & Technical University of Munich
17:00-17:15
Affine Segment Decomposition for Verifying Neural Network Hyperproperties in Rocq-NN-Roll (abstract) 15 min
Andrei Aleksandrov1, Malte Jackisch2, Kim Völlinger2
1 Fraunhofer FOKUS
2 TU Berlin
17:15-17:25
Symbolic Bounded Model Checking of ∀+∃+-Liveness Hyperproperties (abstract) 10 min
Alcino Cunha1, Hugo Pacheco1, Nuno Macedo1
1 Universidade do Minho & INESC TEC
17:25-17:45 Q&A 4 HYPER
Location: C3.01
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑