The paper reframes manufacturing ransomware recovery as an interdependency problem, identifies nine evidence-backed failure modes from a multivocal review, and defines Minimum Viable Factory Recovery as an analytical objective for resuming minimal safe operations.
hub
Title resolution pending
5 Pith papers cite this work, alongside 5,655 external citations. Polarity classification is still indexing.
5
Pith papers citing it
5,655
external citations · external index
hub tools
fields
cs.CR 5verdicts
UNVERDICTED 5representative citing papers
Guidance watermarking steers diffusion denoising steps via gradients from an off-the-shelf watermark decoder to embed marks during generation, converting post-hoc schemes into in-generation ones while remaining complementary to VAE modifications.
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
HBHC protocol binds hierarchical credentials to heartbeat proofs for deterministic bounded-time revocation in AI agent swarms without network round-trips.
The paper recommends metadata elements for IoT/IIoT models to enable automated security assurance processes.
citing papers explorer
-
From Backup Restoration to Minimum Viable Factory Recovery: A Systematization of Ransomware Recovery in Manufacturing Systems
The paper reframes manufacturing ransomware recovery as an interdependency problem, identifies nine evidence-backed failure modes from a multivocal review, and defines Minimum Viable Factory Recovery as an analytical objective for resuming minimal safe operations.
-
Guidance Watermarking for Diffusion Models
Guidance watermarking steers diffusion denoising steps via gradients from an off-the-shelf watermark decoder to embed marks during generation, converting post-hoc schemes into in-generation ones while remaining complementary to VAE modifications.
-
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
-
Heartbeat-Bound Hierarchical Credentials: Cryptographic Revocation for AI Agent Swarms
HBHC protocol binds hierarchical credentials to heartbeat proofs for deterministic bounded-time revocation in AI agent swarms without network round-trips.
-
Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing
The paper recommends metadata elements for IoT/IIoT models to enable automated security assurance processes.