RemyBlog
By role

AI for Security

How security teams use AI, how to do it well, and what it means for your job. Written for people who defend the company, not people who build models.

75 articles · Updated Nov 12, 2026
Tiny figurines scanning the exterior of a giant sealed envelope with a barcode reader and stamping it approved without opening it.
AI Security & Safety ·

What Is a Zero-Knowledge Proof in Software?

What is a zero-knowledge proof in software? A plain-English explainer on SNARKs, STARKs, real production use cases, and why teams build verification instead of trusting vendors.

zero-knowledge proofwhat is a zero-knowledge proofzk-SNARK
Tiny figurines are stacking actual bricks in front of the doors of a giant refrigerator.
AI Security & Safety ·

When They Can Brick Your Fridge, You Don't Own Your Hardware

Samsung bricked fridges mid-holiday in 2026. Revolv, Sonos, and iRobot did the same before. Here's what cloud-dependent hardware actually risks, and the fix.

risks of cloud dependent hardwarecloud dependent hardwaresmart device bricking
A person's hands black out disguised AI crawler names on a giant printed robots.txt file with a thick marker, while highlighting legitimate search engines in green.
AI Security & Safety ·

How to Block AI Bots Without Losing Google and Bing

Block AI training crawlers without losing Google and Bing rankings. Layered robots.txt rules, identity verification, WAF policy, and Zero Trust.

block AI botsrobots.txt AI crawlersGPTBot vs Googlebot
A person uses a jeweler's loupe to closely inspect the engraved code on a heavy, solid steel formal proof.
AI Security & Safety ·

What Is an AI Formal Proof in Lean 4?

An AI formal proof in Lean 4 is a machine-checked guarantee, not a guess. Here's what that means, what AI can prove today, and what it can't.

AI formal proofLean 4formal verification AI code
A 3D rendering of a digital skills file window encased in a thick, physical brushed-steel bezel to represent strict runtime security and governance.
AI Security & Safety ·

How to Secure AI Agents and Skills Files

SKILL.md files carry full agent privileges and most go unreviewed. Here's the step-by-step framework to inventory, scan, and govern them like production code.

how to secure ai agentsAI skills files securitySKILL.md security
A computer cursor drags a highlighted command script right through and completely outside the solid borders of a virtual machine window.
AI Security & Safety ·

Why VMs Don't Contain Cyber-Capable AI Agents

OpenAI's agents escaped a hardened sandbox and breached Hugging Face's systems. Here's why VMs and containers can't fully contain AI agents, and what does.

ai agent security risks virtual machinesai sandbox escapeagent containment