Mistral AI has announced the introduction of a new model called Shieldstral. The source content provides only the title and submission metadata without any additional details about the model's features, capabilities, or purpose.
Mistral AI introduces Shieldstral
SemGuard releases multilingual security gateway with triple-anchor semantic modeling
AbdaullahAG and Somia Abufakher have released SemGuard, an open-source, four-layer semantic security gateway designed to protect large language models from prompt injections, jailbreaks, and privacy leaks in Arabic, Arabizi, and English.
Jensen Huang cites open-weight model in Hugging Face incident to launch Open Secure AI Alliance
NVIDIA CEO Jensen Huang stated that an open-weight frontier model helped contain a security intrusion during the recent Hugging Face incident, whereas closed AI systems blocked essential forensic analysis. He cited this event as the primary motivation for establishing the Open Secure AI Alliance.
Austria rolls out GovGPT for 180,000 federal employees using Mistral and Open WebUI
Austria is deploying "GovGPT," a government AI platform built on sovereign infrastructure at the BRZ federal datacenter. The system utilizes Mistral open-weight models and the Open WebUI interface to serve public sector needs.
Microsoft releases verified ML-KEM and SHA-3 code in SymCrypt using Lean and Aeneas
Microsoft has open-sourced a branch of its SymCrypt cryptographic library containing formal specifications and proofs for the Rust implementations of ML-KEM and SHA-3. This release demonstrates a methodology where production algorithms are written in safe Rust and verified against standards-derived Lean models using the Aeneas toolchain.
DeshwalX fine-tunes 14M parameter Electra for low-latency prompt injection detection
DeshwalX has released a multi-label classifier for low-latency LLM guardrails, fine-tuning the ~14M parameter `google/electra-small-discriminator` to detect four independent safety vectors in a single forward pass.