🌐 DNS Security

Cache Poisoning, DNSSEC Implementation, Protocol Vulnerabilities, Name Resolution

Calico Egress Gateway: A Cost-Effective NAT for Kubernetes
tigera.io·21h
📦Container Security
Resilient by Design: Network Security for the Next Disruption
blog.checkpoint.com·1d
🌐Network Security
Model Namespace Reuse: An AI Supply-Chain Attack Exploiting Model Name Trust
unit42.paloaltonetworks.com·2d
🔒WASM Capabilities
Ransomware artifacts
windowsir.blogspot.com·4d·
Discuss: www.blogger.com
🎫Kerberos Exploitation
Show HN: Storing private blogs on public internet with 0 verifications
sgaud.com·7h·
Discuss: Hacker News
🏠Personal Archives
Fil's Unbelievable Garbage Collector
fil-c.org·17h·
Discuss: Lobsters, Hacker News
🧠Separation Logic
iText 9.4.0 Brings LOTL Functionality for Seamless EU PDF Signature Validation
kb.itextpdf.com·1d·
Discuss: Hacker News
✅Format Verification
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·14h·
Discuss: Hacker News
🔍Concolic Testing
Sudo hung for minutes because the system couldn't resolve its own hostname
anagogistis.com·2d·
Discuss: Hacker News
🌐DNS over QUIC
Parallel evaluation comes to Determinate Nix
determinate.systems·18h·
Discuss: Hacker News
❄️Nix Flakes
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·6h
✨Effect Handlers
Gandi is holding my domain hostage. What can I do?
news.ycombinator.com·2d·
Discuss: Hacker News
🏠Personal Archives
Python Basics for Hackers, Part 04: How to Find the Exact Location of Any IP
hackers-arise.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Mis-issued certificates for 1.1.1.1 DNS service pose a threat to the Internet
arstechnica.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/technews
🌐BGP Security
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·12m·
Discuss: Hacker News
⚡SIMD Optimization
Your Domain, My Playground: Hijacking Your Link Previews ‍
infosecwriteups.com·12h
🎫Kerberos Attacks
The Aider Local Model Experience
hexeditreality.com·2h·
Discuss: Hacker News
⚡Proof Automation
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·19h·
Discuss: Hacker News
🔩Systems Programming
Linux Kernel SMB 0-Day Vulnerability CVE-2025-37899 Uncovered Using ChatGPT O3
upwind.io·1d·
Discuss: Lobsters, Hacker News
🔍eBPF