Image de couverture de livre

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Linpeng, Zilberstein, Noam, Kaminski, Benjamin Lucien, Silva, Alexandra
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Cryptography and Security Formal Languages and Automata Theory Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Bright Side of Timed Opacity
par: André, Étienne, et autres
Publié: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
par: Ye, Kangfeng, et autres
Publié: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
par: Xavier, Melwin, et autres
Publié: (2026)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
par: Amorim, Arthur, et autres
Publié: (2024)

Logics for Context-free Hyperproperties
par: Winter, Sarah, et autres
Publié: (2026)

Verifying Asynchronous Hyperproperties in Reactive Systems
par: Beutner, Raven, et autres
Publié: (2025)

Attack Tree Generation via Process Mining
par: Konsta, Alyzia-Maria, et autres
Publié: (2024)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
par: Waga, Masaki, et autres
Publié: (2024)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
par: Moran, Murat
Publié: (2026)

Reachability Analysis of the Domain Name System
par: Nevatia, Dhruv, et autres
Publié: (2024)

Regular Expression Denial of Service Induced by Backreferences
par: Liu, Yichen, et autres
Publié: (2026)

Privacy-Preserving Runtime Verification
par: Henzinger, Thomas A., et autres
Publié: (2025)

Verification and Attack Synthesis for Network Protocols
par: von Hippel, Max
Publié: (2025)

Automated generation of attack trees with optimal shape and labelling
par: Gadyatskaya, Olga, et autres
Publié: (2023)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
par: Karimi, Mahyar, et autres
Publié: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
par: Modesti, Paolo, et autres
Publié: (2021)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
par: Amorim, Arthur, et autres
Publié: (2026)

Non-Deterministic Planning for Hyperproperty Verification
par: Beutner, Raven, et autres
Publié: (2024)

The Complexity of Second-order HyperLTL
par: Frenkel, Hadar, et autres
Publié: (2023)

Bi-reachability in Petri nets with data
par: Kamiński, Łukasz, et autres
Publié: (2024)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
par: Regaud, Gaëtan, et autres
Publié: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
par: Winter, Sarah, et autres
Publié: (2024)

A Completeness Theorem for Probabilistic Regular Expressions
par: Różowski, Wojciech, et autres
Publié: (2023)

Quantitative Semantics for Jumping Automata
par: Almagor, Shaull, et autres
Publié: (2024)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
par: Zhang, Qifan, et autres
Publié: (2025)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
par: Winter, Sarah, et autres
Publié: (2025)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
par: Böhm, Corrado, et autres
Publié: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

A Diamond Structure in the Transducer Hierarchy
par: Kaufmann, Noah
Publié: (2021)

Automating the Analysis of Quantitative Automata with QuAK
par: Chalupa, Marek, et autres
Publié: (2025)

Extending QuAK with Nested Quantitative Automata
par: Henzinger, Thomas A., et autres
Publié: (2026)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
par: Liu, Yuntao, et autres
Publié: (2021)

Formally Verifying Noir Zero Knowledge Programs with NAVe
par: Antonino, Pedro, et autres
Publié: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
par: Ziiatdinov, Mansur, et autres
Publié: (2024)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
par: A, Bhuvaneswari, et autres
Publié: (2026)

Weighted GKAT: Completeness and Complexity
par: Van Koevering, Spencer, et autres
Publié: (2025)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
par: Khakpour, Narges, et autres
Publié: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
par: Shi, Chenhao, et autres
Publié: (2023)