PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent Communication
When one AI agent tells another that "the tests passed" or "a person approved this refund", the receiver has only the se
2026-10-31 归档
今日共收录 3279 条安全情报，包含 2996 个 CVE，94 篇安全通告，以及 100 篇研究论文。
← 返回归档列表Usable String Matching by Humans through Overlaid Presentation
We explore the ability of humans to compare strings, an error-prone activity which occurs in critical contexts (e.g., ba
DeepDiff: Neuro-Dynamic Regression-Freedom Checking for Security Patch Validation
Automatically validating AI-generated security patches remains a significant challenge. Eliminating a reported crash and
A Defense-Aware Explainable AI Framework for Feature-Level Vulnerability Analysis in Optimal Power Flow
Optimal power flow (OPF) is a foundational analysis in power system operation, and inaccuracies in OPF decision-making c
FlipJev: Fast Black-Box Red Teaming Finds Universal Adversarial Suffixes for Typed Decision Models
Typed decision models are an emerging class of language models that make decisions instead of generating free-text respo
IDSForge: Self-Explaining Network Intrusion Detection Through Neural Behavioral Rule Learning
Anomaly-based network intrusion detection systems (NIDS) can detect previously unseen attacks by identifying deviations
Improved LCL Equivalences and Curve Decoding Alphabet Sizes
Local Coordinate-wise Linear (LCL) properties, introduced by Levi, Mosheiff, and Shagrithaya (2025), capture coding-theo
CARI: Cross-Boundary Adversarial Runtime Injection in Coding-Agent Workflows
Coding agents increasingly develop, test, and integrate software whose components are owned by different developers, tea
Complexity of Differentially Private Selection via Federated APIs
Differential privacy (DP) has become the standard for privacy-preserving data analysis, yet its practical implementation
Adversarial Process Disturbances at a Deployable Alarm Budget: Detector Evaluation on a Simulator and a Real Plant
Industrial anomaly detection is evaluated largely on simulators, and recent work reports large drops, with unstable rank
The use of post-quantum cryptography in the automotive context
This study comparatively evaluates post-quantum cryptography (PQC) in automotive communication scenarios, considering th
How Deterministic SAST and AI Security Agents Divide the Work: Coverage, Harness Policy and Cost in Snyk VulnBench 2.0
We ask what AI coding agents and AI security harnesses find that deterministic static application security testing (SAST
STAR: Scalable TEE-based Anonymous Rate-limiter
Protecting Internet services from attacks such as TLS/HTTP floods requires rate limiting, yet identifying users to enfor
The State of the Practice in Privacy Impact Assessments: Understanding the Professionals' Perspectives, Experiences, and Current Procedures
Organisations frequently utilise Privacy Impact Assessments (PIAs), Data Protection Impact Assessments (DPIAs), or even
Security Impact of Coding Agent's Memory Files
Coding agents automatically load project memory files such as CLAUDE.md at the start of every session and treat them as
Recurrent Bipartite Graph Neural Networks for QC-MDPC Error Decoding in McEliece Cryptosystems
As the advent of large-scale quantum computing threatens classical encryption, Quasi-Cyclic Moderate Density Parity-Chec
Tracekit Box: Running AI Agents in Micro-VMs Where Every Way Out Is Decided and Signed
AI agents now install packages, call model APIs with their operators' keys and change code in repositories that deploy t
DecisionUnlearn-Bench: Unlearning Probabilistic Decisions under Changing Schemas
Machine unlearning aims to reproduce the behavior of a model trained without designated data. For probabilistic decision
Rosemary: Efficient and Adaptable In-Storage Acceleration for Fully Homomorphic Encryption
Fully Homomorphic Encryption (FHE) enables computation on encrypted data and is promising for privacy-preserving computi
Component Translation and Judge-Labelled Refusal: A Multilingual Safety Evaluation
Whole-prompt translation evaluates a request in different languages but does not compare which component carries a langu