Feeds to Scour
SubscribedAll
Scoured 26508 posts in 18.2 ms
SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs  🐛Fuzzing
arxiv.org·4d
FuzzAnything/PromptFuzz: PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.  🐛Fuzzing
github.com·6h·Hacker News
CFITSIO Fuzzing: Memory Corruptions and a Codex-Assisted Pipeline  🧪Archive Fuzzing
blog.doyensec.com·6d·r/netsec
256 Lines or Less: Test Case Minimization  🐛Fuzzing
matklad.github.io·5d·Lobsters, Hacker News, Hacker News
LemmaScript: A Verification Toolchain for TypeScript via Dafny  ✅Format Verification
midspiral.com·3d·Lobsters, Hacker News
Spotting Specification Gaps with Small Proof-Oriented Tests  ⚔️Lean Tactics
risemsr.github.io·4d·Hacker News
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes  🧪RISC-V Fuzzing
arxiv.org·2d
Towards Certified Malware Detection: Provable Guarantees Against Evasion Attacks  🌸Bloom Variants
arxiv.org·2d
Finding Duplicates in 1.1M BDD Steps: cukereuse, a Paraphrase-Robust Static Detector for Cucumber and Gherkin  🌸Bloom Filters
arxiv.org·2d
Crash-free Deductive Verifiers  🛡️Proof-Carrying Archives
arxiv.org·3d
Verification Modulo Tested Library Contracts  ⚖️Verification Calculi
arxiv.org·5d
FUSE: Ensembling Verifiers with Zero Labeled Data  ⚙️Assembly Verification
arxiv.org·4d
EvoPatch-IoT: Evolution-Aware Cross-Architecture Vulnerability Retrieval and Patch-State Profiling for BusyBox-Based IoT Firmware  🔌Interface Evolution
arxiv.org·3d
Analyzing Chain of Thought (CoT) Approaches in Control Flow Code Deobfuscation Tasks  🔓Decompilation
arxiv.org·5d
Suffix Random Access via Function Inversion: A Key for Asymmetric Streaming String Algorithms  🌊Streaming Compression
arxiv.org·3d
False Security Confidence in Benign LLM Code Generation  🧪CBOR Fuzzing
arxiv.org·4d
Depth Registers Unlock W4A4 on SwiGLU: A Reader/Generator Decomposition  📼Cassette Combinators
arxiv.org·4d
RAVEN: Retrieval-Augmented Vulnerability Exploration Network for Memory Corruption Analysis in User Code and Binary Programs  🔍BitFunnel
arxiv.org·4d
Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols  🎯Performance Proofs
arxiv.org·4d
Improving LLM-Driven Test Generation by Learning from Mocking Information  🔍Concolic Testing
arxiv.org·3d

No more posts from matmat's subscribed feeds.

Scour all 24370 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help