🕵️ Investigative OSINT - buckman · Scour

Aegis Solis Archive: Hash manifest for cross-platform verification 🏺Kerberos Archaeology

archive.org·3d·Hacker News

Anthropic Tool Access, EU App Bypasses, and Active Zero-Days 🏺Kerberos Archaeology

bishopfox.com·2d

Antithesis BugBash Conference 2026 🐛Fuzzing

emptysqua.re·1d

Can AI verification scale using classical Epistemological Methods? My experiment with "Sanad" (Source Chain) logic in local agents. 📋AGENTS.md

sidixlab.com·6d·r/selfhosted

rsoury/drive-agent-scope-in-ci: CI wiring for PR description-driven agent spec/scope verification. 📋AGENTS.md

github.com·1d·Hacker News

Distro Compliance Tracker 📟Firmware Analysis

agelesslinux.org·1d

OWASP Artificial Intelligence Security Verification Standard AISVS Docs 🛡️AI Security

owasp.org·3d·Hacker News

The Authenticity Mandate | Human-Centered Change and Innovation 🔐PKI Archaeology

bradenkelley.com·1d

LemmaScript: A Verification Toolchain for TypeScript via Dafny 🔍Binary Diffing

midspiral.com·4d·Lobsters, Hacker News

The EU’s age verification app has a privacy problem — and it may be more than just a 'bug in an app' 🔒Digital Privacy

·2d

Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour 🦀Rust

dsyme.net·6d·Hacker News

Breaking Email Trust: How I Bypassed Email Verification in a Real-World Application. 🎭Social Engineering

infosecwriteups.com

·5d

sigma-rs: A Modular Approach for Keyed-Verification Anonymous Credentials 🔐Decentralized Identity

eprint.iacr.org·4d

The Boy That Cried Mythos: Verification is Collapsing Trust in Anthropic 🌪️Chaos Engineering

flyingpenguin.com·4d·Hacker News

arian-gogani/nobulex: The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification. 🔒Protocol Verification

github.com·5d·Hacker News, Hacker News

Deepfakes Scaled. Your Verification Didn't. 🍯Deception Technology

caracomp.com·4d·DEV

Claude Code 2.1: The Complete xHigh and Auto-Verification Guide (2026) 📋AGENTS.md

sitepoint.com·4d

Verification Is the Only Authority: Why Systems Must Accept Only What They Can Check 🔒Protocol Verification

·3d

Verus is a tool for verifying the correctness of code written in Rust 🦀Rust

verus-lang.github.io·6d·Hacker News

midspiral/LemmaScript: verification toolchain for TypeScript (Tech Preview) 🔒Protocol Verification

github.com·5d·Hacker News

Log in to enable infinite scrolling