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

dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·3h
🏷️Metadata Standards
Flag this post
Making a Virtual Machine Look like Real Hardware to Malware
hackaday.com·1d
🕸️WebAssembly
Flag this post
Ransomware hackers are now running Linux encryptors in Windows to stay undetected
techradar.com·1h
🎫Kerberos Exploitation
Flag this post
Sometimes Assertions
antithesis.com·21h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·22h·
Discuss: DEV
🔍Concolic Testing
Flag this post
The Vindication of Bubble Sort
entropicthoughts.com·9h·
🧪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
Re: A few comments on ‘age’ (2019)
groups.google.com·1d·
Discuss: Lobsters
🔐Archive Encryption
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·2d
🌐NetworkProtocols
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.one·5h·
Discuss: r/programming
gRPC
Flag this post
How to organize your Rust tests
blog.logrocket.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·2d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·1h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Infrastructure as Code
opentofu.org·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Cross-Paradigm Graph Backdoor Attacks with Promptable Subgraph Triggers
arxiv.org·1d
🌐BGP Security
Flag this post
Xcode MCP
github.com·3h·
Discuss: Hacker News
🛡️CLI Security
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·23h·
Discuss: r/programming
📜Binary Philology
Flag this post
How Reliable Are Your AI Agents?
dev.to·9h·
Discuss: DEV
⚙️Proof Engineering
Flag this post