Copertina

Sharing The Secret: Distributed Privacy-Preserving Monitoring

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Karimi, Mahyar, Thejaswini, K. S., Bloem, Roderick, Henzinger, Thomas A.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Privacy-Preserving Runtime Verification
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
di: Waga, Masaki, et al.
Pubblicazione: (2024)

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

Automated generation of attack trees with optimal shape and labelling
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)

Regular Expression Denial of Service Induced by Backreferences
di: Liu, Yichen, et al.
Pubblicazione: (2026)

Reachability Analysis of the Domain Name System
di: Nevatia, Dhruv, et al.
Pubblicazione: (2024)

Verification and Attack Synthesis for Network Protocols
di: von Hippel, Max
Pubblicazione: (2025)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
di: Modesti, Paolo, et al.
Pubblicazione: (2021)

Attack Tree Generation via Process Mining
di: Konsta, Alyzia-Maria, et al.
Pubblicazione: (2024)

Resolving Nondeterminism with Randomness
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Decoupled Planning for Multiple Omega-Regular Objectives
di: Avni, Guy, et al.
Pubblicazione: (2026)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
di: A, Bhuvaneswari, et al.
Pubblicazione: (2026)

History-Deterministic Büchi Automata are Succinct
di: Casares, Antonio, et al.
Pubblicazione: (2026)

Formally Verifying Noir Zero Knowledge Programs with NAVe
di: Antonino, Pedro, et al.
Pubblicazione: (2026)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
di: Liu, Yuntao, et al.
Pubblicazione: (2021)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
di: Ziiatdinov, Mansur, et al.
Pubblicazione: (2024)

Agentproof: Static Verification of Agent Workflow Graphs
di: Xavier, Melwin, et al.
Pubblicazione: (2026)

The Bright Side of Timed Opacity
di: André, Étienne, et al.
Pubblicazione: (2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
di: Zhang, Qifan, et al.
Pubblicazione: (2025)

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

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
di: Khakpour, Narges, et al.
Pubblicazione: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
di: Shi, Chenhao, et al.
Pubblicazione: (2023)

QuAK: Quantitative Automata Kit
di: Chalupa, Marek, et al.
Pubblicazione: (2024)

Safety and Liveness of Quantitative Properties and Automata
di: Boker, Udi, et al.
Pubblicazione: (2023)

Quantitative Language Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Randomise Alone, Reach as a Team
di: Brice, Léonard, et al.
Pubblicazione: (2026)

Information-flow Interfaces and Security Lattices
di: Bartocci, Ezio, et al.
Pubblicazione: (2024)

On History-Deterministic One-Counter Nets
di: Prakash, Keya, et al.
Pubblicazione: (2022)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
di: Amorim, Arthur, et al.
Pubblicazione: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
di: Zhang, Linpeng, et al.
Pubblicazione: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
di: Moran, Murat
Pubblicazione: (2026)

Time for Timed Monitorability
di: Grosen, Thomas M., et al.
Pubblicazione: (2025)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
di: Cimatti, Alessandro, et al.
Pubblicazione: (2024)

Extending QuAK with Nested Quantitative Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2026)

Automating the Analysis of Quantitative Automata with QuAK
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
di: Hausmann, Daniel, et al.
Pubblicazione: (2024)

History-deterministic Timed Automata
di: Bose, Sougata, et al.
Pubblicazione: (2023)