arXiv:2611.07170v1 Announce Type: new Abstract: Global surveillance systems record large volumes of network traffic for retrospective analysis, but packet captures alone reveal little about protocol-level semantics. This paper presents an automated, specification-guided methodology for reconstructing passive Dolev-Yao intruder executions from captured network traffic and validating the reconstructed executions against a formal protocol specification.
Global Surveillance Under the Lens: Reconstructing Passive Dolev-Yao Intruders
About this summary. This is a short excerpt from the description that arXiv cs.CR published with its article. Cyber Security News did not report or verify the underlying story. Read the original: https://arxiv.org/abs/2611.07170
Source attribution: headline and facts are from arXiv cs.CR (arxiv.org). Summary method: excerpt of the source description. See our source attribution policy.
Related coverage
AMORT-V1: Checkpointed Post-Quantum Attestation for Industrial Controllers
arXiv:2611.07476v1 Announce Type: new Abstract: Programmable logic controllers often remain deployed for decades, making post-quantum attestation a long-term…
Zirah: A Post-Quantum True Random Number Generator Hardware Signer With an Avalanche Noise
arXiv:2611.08200v1 Announce Type: new Abstract: Zirah is a hardware signer built around an STM32F407 microcontroller, and its purpose is to find out, on inexpensive…
SensorGuard-RV: Sensor-to-Register Data Protection for Resource-Constrained RISC-V Devices
arXiv:2611.08380v1 Announce Type: new Abstract: Embedded systems rely on sensor measurements that traverse a complex hardware-firmware stack (e.g. peripheral interfaces…
Dark Web Profile: Nova Ransomware
Nova is a ransomware group that operates a Ransomware-as-a-Service (RaaS) model to extort organizations through file encryption and data theft. Nova equips affiliates…
CoordX Protocol: Peer to Peer Cryptographically Verified Shared Records
arXiv:2611.06034v1 Announce Type: new Abstract: People, companies and software agents often must work on shared records even when they do not trust each other. Today…
On the (Quantum) Communication Complexity of Secure MPC from a Random Oracle
arXiv:2611.04052v1 Announce Type: new Abstract: Information-theoretic MPC among $n$ parties with $t$ corruptions can securely evaluate a circuit $C$ with $O(|C| \cdot…