🧪 CBOR Fuzzing

Binary Protocol Testing, Security Validation, Parser Robustness, Format Security

We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·4h·
Discuss: Hacker News
🧪Binary Fuzzing
Relative Completeness of Incorrectness Separation Logic
arxiv.org·15h
🧠Separation Logic
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·12h
✅Archive Validation
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
ESP32 Bus Pirate open-source firmware works on off-the-shelf hardware
cnx-software.com·8h
🔌Single Board PC
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·6h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·1d·
Discuss: DEV
🚚Data Migration
Those Titles the AI Bot Thought I Had Written
bsdly.blogspot.com·12h·
Discuss: bsdly.blogspot.com
🧪Archive Fuzzing
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·8h·
Discuss: Hacker News
🧪Binary Fuzzing
Minimal, Hardened, and Updated Daily: The New Standard for Secure Containers
darkreading.com·21h
📦Container Security
A New Concurrent ML in Guile Scheme
wingolog.org·10h·
Discuss: Hacker News
🔄Lens Laws
The hiring test that defeated AI
bitecode.dev·4h·
Discuss: Hacker News
✅Shell Verification
Flaky tests due to bad randomness?
gaultier.github.io·2d
🧪Binary Fuzzing
️‍♂️ Tracking AgentTesla: Real-World Malware Behavior Analysis Using Joe Sandbox
infosecwriteups.com·10h
🦠Malware Analysis
Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·6h
🌐DNS over QUIC
Arti 1.4.6 is released: Hidden Service resilience; work on flow control, Conflux, and CGO.
blog.torproject.org·19h
🔒Linear Types
Autonomous Penetration Testing: Solving Capture-the-Flag Challenges with LLMs
arxiv.org·15h
⚡Proof Automation
Red-teaming a RAG app: What happens?
blog.pamelafox.org·1d·
Discuss: www.blogger.com, Hacker News
⚡Proof Automation