cyberintel.kalymoon.com · 29909 articles · updated every 4 hours · grows forever
arXiv:2605.22905v1 Announce Type: new Abstract: Self-evolving agents should not train on examples they cannot justify. Data-free self-evolving search agents offer a scalable route to systems that gene…
arXiv:2605.22900v1 Announce Type: new Abstract: Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. Howe…
arXiv:2605.22885v1 Announce Type: new Abstract: Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve training data…
arXiv:2605.22883v1 Announce Type: new Abstract: Current AI energy benchmarks measure consumption at the granularity of a single model invocation or training run. For classical single-turn workloads th…
arXiv:2605.22878v1 Announce Type: new Abstract: The exponential growth of global academic output has confronted researchers and AI agents with an unprecedented ``information explosion,'' where fragmen…
arXiv:2605.22875v1 Announce Type: new Abstract: We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior stu…
arXiv:2605.22874v1 Announce Type: new Abstract: Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verificat…
arXiv:2605.22866v1 Announce Type: new Abstract: Compound AI systems route tasks through hierarchies of specialised components. Attribution is dominated by Shapley-based methods (SHAP), which decompose…
arXiv:2307.15465v4 Announce Type: replace Abstract: In this work we construct an alternative model for Authenticated Key Exchange, intended to build a theoretic security framework for protocols whose …
arXiv:2605.23887v1 Announce Type: cross Abstract: Temporal knowledge-graph data marketplaces face three coupled failures in static designs: stale hybrid index shortcuts reduce recall as edges evolve, …
arXiv:2605.23879v1 Announce Type: cross Abstract: Gradient-flow sampling interprets a Gibbs distribution as the minimizer of an energy functional over probability measures and generates dynamics conve…
arXiv:2605.23429v1 Announce Type: cross Abstract: This study proposes a novel radar-centric signaling design and architecture for secure integrated sensing and communication (ISAC) systems. The propos…
arXiv:2605.23411v1 Announce Type: cross Abstract: Test-time adaptation (TTA) effectively counters distribution shifts but exposes models to adversarial manipulation via the unlabeled test stream. Exis…
arXiv:2605.23316v1 Announce Type: cross Abstract: Side-channel attacks are a major threat to the security of cryptosystems. Masking is a widely used countermeasure against such attacks, but proving th…
arXiv:2605.23224v1 Announce Type: cross Abstract: Recent studies on binomials of the form $F_r(x) = x^r(1 + \chi(x))$ over $\mathbb{F}_{p^n}$ have shown that these functions can exhibit very low boome…
arXiv:2605.23130v1 Announce Type: cross Abstract: AI coding assistants are now central to professional software development, yet their impact on how developers think about and practice security remain…
arXiv:2605.23091v1 Announce Type: cross Abstract: The majority of software developers use or are planning to use Artificial Intelligence (AI) tools in their development processes. Their top reasons in…
arXiv:2605.22830v1 Announce Type: cross Abstract: We present Intercloud, a decentralised economic network in which streams of private data are secured by Watcher swarms that observe only cryptographic…
arXiv:2605.20192v1 Announce Type: cross Abstract: Decentraland, a decentralized virtual reality platform operating within the expanding Metaverse ecosystem, utilizes its native MANA token to facilitat…
arXiv:2605.23843v1 Announce Type: new Abstract: The commitment-based AKE model provides a formal security framework for key exchange protocols that avoid long-term cryptographic material, achieving au…
arXiv:2605.23695v1 Announce Type: new Abstract: Validating threat modeling results remains difficult because completeness is hard to judge without an external oracle. Existing studies often rely on ex…
arXiv:2605.23643v1 Announce Type: new Abstract: Tools like Tamarin and ProVerif have achieved notable success in analyzing and verifying complex real-world protocols such as EMV, 5G, and WPA2, even de…
arXiv:2605.23641v1 Announce Type: new Abstract: As privacy concerns in AI technologies continue to grow, Homomorphic Encryption (HE) offers a way to perform computations on encrypted data without the …
arXiv:2605.23640v1 Announce Type: new Abstract: Large Language Models (LLMs) rely on Key-Value (KV) caching to accelerate inference, and many serving systems further share the KV cache across users' r…