Buchumschlag

Privacy-Preserving Runtime Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Henzinger, Thomas A., Karimi, Mahyar, Thejaswini, K. S.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sharing The Secret: Distributed Privacy-Preserving Monitoring
von: Karimi, Mahyar, et al.
Veröffentlicht: (2026)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
von: Amorim, Arthur, et al.
Veröffentlicht: (2026)

Verification and Attack Synthesis for Network Protocols
von: von Hippel, Max
Veröffentlicht: (2025)

Automated generation of attack trees with optimal shape and labelling
von: Gadyatskaya, Olga, et al.
Veröffentlicht: (2023)

Reachability Analysis of the Domain Name System
von: Nevatia, Dhruv, et al.
Veröffentlicht: (2024)

Regular Expression Denial of Service Induced by Backreferences
von: Liu, Yichen, et al.
Veröffentlicht: (2026)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
von: Waga, Masaki, et al.
Veröffentlicht: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2021)

Attack Tree Generation via Process Mining
von: Konsta, Alyzia-Maria, et al.
Veröffentlicht: (2024)

Resolving Nondeterminism with Randomness
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
von: Xavier, Melwin, et al.
Veröffentlicht: (2026)

Decoupled Planning for Multiple Omega-Regular Objectives
von: Avni, Guy, et al.
Veröffentlicht: (2026)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
von: Ye, Kangfeng, et al.
Veröffentlicht: (2025)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
von: A, Bhuvaneswari, et al.
Veröffentlicht: (2026)

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
von: Liu, Yuntao, et al.
Veröffentlicht: (2021)

Formally Verifying Noir Zero Knowledge Programs with NAVe
von: Antonino, Pedro, et al.
Veröffentlicht: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
von: Ziiatdinov, Mansur, et al.
Veröffentlicht: (2024)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
von: Moran, Murat
Veröffentlicht: (2026)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
von: Crochet, Christophe, et al.
Veröffentlicht: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
von: Zhang, Qifan, et al.
Veröffentlicht: (2025)

The Bright Side of Timed Opacity
von: André, Étienne, et al.
Veröffentlicht: (2024)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
von: Mahe, Erwan, et al.
Veröffentlicht: (2024)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
von: Khakpour, Narges, et al.
Veröffentlicht: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
von: Shi, Chenhao, et al.
Veröffentlicht: (2023)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

Safety and Liveness of Quantitative Properties and Automata
von: Boker, Udi, et al.
Veröffentlicht: (2023)

Randomise Alone, Reach as a Team
von: Brice, Léonard, et al.
Veröffentlicht: (2026)

Information-flow Interfaces and Security Lattices
von: Bartocci, Ezio, et al.
Veröffentlicht: (2024)

On History-Deterministic One-Counter Nets
von: Prakash, Keya, et al.
Veröffentlicht: (2022)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
von: Amorim, Arthur, et al.
Veröffentlicht: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
von: Zhang, Linpeng, et al.
Veröffentlicht: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
von: Basile, Davide
Veröffentlicht: (2025)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
von: Bollig, Benedikt
Veröffentlicht: (2026)

Conservative Perception Models for Probabilistic Verification
von: Cleaveland, Matthew, et al.
Veröffentlicht: (2025)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Counting Abstraction for the Verification of Structured Parameterized Networks
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
von: Eichler, Paul, et al.
Veröffentlicht: (2024)