What is this?
This mirrors the Hacker News front page. Click on tags to filter / exclude. You can combine multiple tags.
Get these tags inside Hacker News itself with these open-source browser extensions for Chrome and Firefox
histre is a power tool for your knowledge. This is a demo of its auto-tagging feature. Learn about its other features here
Opaque, Interoperable Passkey Records (and a Go API)
• words.filippo.io
My USB Drive Has a Hidden Encrypted Vault
• rootkitlabs.com
Introduction to Formal Verification with Lean Part 1
• hashcloak.com
Qubes OS Security in the Public Record
• arxiv.org
Agent Security Is a Systems Problem
• arxiv.org
Homomorphically encrypted CIFAR-10 inference in 200ms
• sofar.belfortlabs.cloud
AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM
• blog.zksecurity.xyz
Remotely Scan TouchScreen Inputs with EM
• arxiv.org
Codex starts encrypting sub-agent prompts
• github.com
Exit Chat Control
• exitchatcontrol.org
We cannot wait for better post-quantum signature algorithms
• blog.cloudflare.com
Independent Labs Crack Google's Cryptography Work
• spectrum.ieee.org
Harica: Issuance and refusal to revoke TLS certificates for sanctioned entities
• bugzilla.mozilla.org
Git Hash Chain Malleability
• arxiv.org
AI Meets Cryptography 1: What AI Found in Cloudflare's Circl
• blog.zksecurity.xyz
NSA and IETF: Fairness
• blog.cr.yp.to
Web-based cryptography is always snake oil
• www.devever.net
Enigma M4 Breaker with GPU
• github.com
Recovering garbled Bitcoin addresses (2024)
• purplesyringa.moe
Shipping post-quantum cryptography to Python – The Trail of Bits Blog
• blog.trailofbits.com
The pandemic of incomplete OpenSSL error handling
• blog.jak-linux.org
Soatok's Informal Guide to Threat Models
• soatok.blog
NSA tries to weaken mlkem standardisation?
• nsa.2026.action.cr.yp.to
Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification
• exitprotocols.com