Copertina

Verification and Attack Synthesis for Network Protocols

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	von Hippel, Max
Natura:	Preprint
Pubblicazione:	2025
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)

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)

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

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

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

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

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

Sharing The Secret: Distributed Privacy-Preserving Monitoring
di: Karimi, Mahyar, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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)

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

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
di: Li, Xiaoyan, et al.
Pubblicazione: (2025)

Conservative Perception Models for Probabilistic Verification
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
di: Akshay, S., et al.
Pubblicazione: (2025)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
di: Zhang, Shuhang, et al.
Pubblicazione: (2025)

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

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
di: Mahe, Erwan, et al.
Pubblicazione: (2024)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

Engineering an LTLf Synthesis Tool
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)

Controller Synthesis for Parametric Timed Games
di: Dahlsen-Jensen, Mikael Bisgaard, et al.
Pubblicazione: (2025)

Fully Generalized Reactivity(1) Synthesis
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

Backward Responsibility in Transition Systems Beyond Safety
di: Baier, Christel, et al.
Pubblicazione: (2025)

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

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
di: Raskin, Jean-François, et al.
Pubblicazione: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
di: Pert, Charles, et al.
Pubblicazione: (2024)