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

QNAP warns of critical flaw in its Windows backup software, so update now
techradar.com·22h
🔓Hacking
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·12m
🏷️Metadata Standards
Flag this post
Signal’s Post-Quantum Cryptographic Implementation
schneier.com·2h
🔐Quantum Security
Flag this post
Modern Perfect Hashing
blog.sesse.net·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
The API vulnerabilities nobody talks about: excessive data exposure
blog.detectify.com·1d
🛡️CBOR Security
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·1d·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
How to Securely Store Passwords in a Database
blog.algomaster.io·1d
🔓Password Cracking
Flag this post
Understanding the Worst .NET Vulnerability
andrewlock.net·1d·
Discuss: Hacker News
🛣️BGP Hijacking
Flag this post
Making a Virtual Machine Look like Real Hardware to Malware
hackaday.com·1d
🕸️WebAssembly
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·19h·
Discuss: DEV
🔍Concolic Testing
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·7h·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3h·
λLambda Encodings
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·1d
🔍Concolic Testing
Flag this post
Is Your Data Valid? Why Bufstream Guarantees What Kafka Can't
vutr.substack.com·1d·
Discuss: Substack
🌊Streaming Systems
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·2d·
Discuss: Hacker News
📐Format Grammars
Flag this post
Sometimes Assertions
antithesis.com·18h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
The Vindication of Bubble Sort
entropicthoughts.com·6h·
🧪Binary Fuzzing
Flag this post
Signature schemes you've never heard about – Kobi Gurkan
kobi.leaflet.pub·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Retrospective on Weaknesses in Fuzzing Research
addisoncrump.info·3d·
🧪Binary Fuzzing
Flag this post
PMPP-Eval Journey
blog.sinatras.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post