EU Regulatory Changes

A new academic paper, published on arXiv, proposes a method for using large language models to enhance static analysis for finding software vulnerabilities. The technique, called semantics-aware ty...

A new technical paper, titled Trust Without Boundaries: An Architectural Analysis of Satellite Flight Software, has been published on arXiv. It is not a regulation itself, but an independent archit...

The publication is a theoretical computer science paper establishing mathematical limits on the efficiency of black-box constructions for pseudorandom functions. It does not introduce new regulatio...

The publication introduces STINER, a new automated framework designed to extract strategic cyber threat intelligence directly from posts on the social media platform X. This tool uses advanced lang...

A new academic paper proposes a hybrid framework using large language models to automate the generation of security annotations for business process models. The framework combines rule-based analys...

A new academic paper proposes a framework for resolving disputes in crypto-asset transactions using a hybrid system of artificial intelligence and smart contracts, specifically designed to protect ...

This publication establishes a formal mathematical equivalence between the average-case hardness of learning certain mixed quantum states and the existence of secure cryptographic primitives. In pr...

A new research paper proposes a benchmark for evaluating the reliability of large language models when used as automated judges in principle-based regulation, such as the EU AI Act. The study intro...

A new academic paper, MazeRunner, has been published on arXiv, presenting a framework that uses large language models to automate black-box penetration testing. The system orchestrates nonlinear ta...

The publication introduces QuaSAR, a technical method for improving the accuracy of quantized large language models by compensating for information loss during compression. Quantization reduces mod...