EU Regulatory Changes

A new academic paper, published on arXiv, presents a formal method for translating security protocol analyses between two leading verification tools, Tamarin and ProVerif. This is not a regulatory ...

The publication introduces a novel technique called Game Hopping, a method for verifying the correctness and security properties of software systems by translating them into formal game-based proof...

A new research paper, titled Reversible Unlearnable Examples: Towards the Copyright Protection in Deep Learning Era, has been published on arXiv. The paper proposes a technical method that allows d...

This paper, published on arXiv in August 2026, proposes a technical architecture for using hardware security modules as keystores to cryptographically sign actions taken by AI agents. It introduces...

This publication introduces dfence, a hardware-software co-design framework that implements fine-grained speculation barriers to mitigate Spectre-style side-channel attacks. Unlike current coarse-g...

This publication is a technical research note, not a regulatory update. It analyzes the security implications of using a zero-length nonce in the GCM and GMAC cryptographic modes. The paper demonst...