A first multivocal literature review finds academia modifies IoT to meet Zero Trust rules while industry integrates IoT into existing NIST-guided Zero Trust frameworks, exposing gaps in socio-technical and cost-benefit analysis.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 4roles
background 2polarities
background 2representative citing papers
FOT-CFM generates turbulent fields in function space with superior high-order statistics and energy spectra on Navier-Stokes, Kolmogorov flow, and Hasegawa-Wakatani equations compared to baselines.
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.
MoCQ combines LLMs with symbolic validation to generate vulnerability patterns for static analysis, matching expert performance on 12 types across four languages and finding 25 new real-world vulnerabilities.
citing papers explorer
-
Converging Zero Trust and IoT Security: A Multivocal Literature Review
A first multivocal literature review finds academia modifies IoT to meet Zero Trust rules while industry integrates IoT into existing NIST-guided Zero Trust frameworks, exposing gaps in socio-technical and cost-benefit analysis.
-
Optimal-Transport-Guided Functional Flow Matching for Turbulent Field Generation in Hilbert Space
FOT-CFM generates turbulent fields in function space with superior high-order statistics and energy spectra on Navier-Stokes, Kolmogorov flow, and Hasegawa-Wakatani equations compared to baselines.
-
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.