Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification
Abstract elided by the publisher.
Related papers
- The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq CAV 2026
- Software Verification of Hyperproperties Beyond k-Safety CAV 2022
- Stack-Aware Hyperproperties TACAS 2023
- Misquoted No More: Securely Extracting F* Programs with IO ICFP 2026
- Modular Product Programs TOPLAS 2020
- Coinductive Proofs for Temporal Hyperliveness POPL 2025
- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties TACAS 2018
- Non-interference Preserving Optimising Compilation OOPSLA 2025