Copertina

Attack Tree Generation via Process Mining

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Konsta, Alyzia-Maria, Di Federico, Gemma, Lafuente, Alberto Lluch, Burattin, Andrea
Natura:	Preprint
Pubblicazione:	2024
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

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

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

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)

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

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)

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

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

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

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

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

Formally Verifying Noir Zero Knowledge Programs with NAVe
di: Antonino, Pedro, 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)

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

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)

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

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

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

Imposing Rules in Process Discovery: an Inductive Mining Approach
di: Norouzifar, Ali, et al.
Pubblicazione: (2024)

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

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

Mining Diamonds in labeled Transition Systems
di: van Spaendonck, P. H. M., et al.
Pubblicazione: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
di: Manini, Andrea, 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)

Standard Automata Theory and Process Algebra
di: Yodaiken, Victor
Pubblicazione: (2022)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
di: Akshay, S., et al.
Pubblicazione: (2024)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
di: Yu, Qixian, et al.
Pubblicazione: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)

Realisability and Complementability of Multiparty Session Types
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2025)

Hyper-Minimization for Deterministic Register Automata
di: Li, Yong, et al.
Pubblicazione: (2026)

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

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
di: Manini, Andrea, et al.
Pubblicazione: (2026)

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

Tahr: The Generative Attribute Grammar Framework
di: Ciccaglione, Matteo, et al.
Pubblicazione: (2025)

The Expansion Problem for Infinite Trees
di: Blumensath, Achim
Pubblicazione: (2023)

AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)