Multi-Agent LLM System for Automated Vulnerability Discovery and Reproduction(arxiv.org)38 points by root-parent 5 months ago | 4 comments
Crux, a Precise Verifier for Rust and Other Languages(arxiv.org)86 points by belter 2 years ago | 11 comments
Security weaknesses of Copilot generated code in GitHub(arxiv.org)112 points by belter 3 years ago | 65 comments
Program-as-Weights: A Programming Paradigm for Fuzzy Functions(arxiv.org)44 points by simonpure 3 months ago | 4 comments
Eccfrog512ck2: An Enhanced 512-Bit Weierstrass Elliptic Curve [pdf](arxiv.org)33 points by bikenaga 1 year ago | 11 comments