✅ Formal Verification - amy.throwaway.lovely · Scour

Benchmarking Testing in Automated Theorem Proving 🧮Symbolic Execution

The Final Form of Software Development 🧮Symbolic Execution

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🧮Symbolic Execution

osec.io·9h·Hacker News

theswiftway/nool-cli: A DAG based VCS, superset of git for AI agentic world to power the speed of thought without compromising on safety and reliability. 🔀Concolic Execution

github.com·17h·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🌊Dataflow Analysis

semiengineering.com·2d

GCC 16.1 released: C++26 reflection / contracts / safety hardening, C++20 by default, and more! ⚙️Compilers

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon 🔌Hardware Security

eprint.iacr.org·6d

Animated Logical Graphs • 1 🌊Dataflow Analysis

stream.syscoi.com·13h

Machine-Speed Defense for Lean Security Teams 🛡️Exploit Mitigations

malware.news·1d

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework ⚡JIT Exploitation

specdd.ai·18h·Hacker News

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🛡️Exploit Mitigations

lesswrong.com·2d

Replacing probabilistic AI with deterministic math and Dafny formal verification 🌊Dataflow Analysis

gist.github.com·6d·Hacker News

ethlambda: how we got a 3x speedup in signature aggregation 🌊Dataflow Analysis

blog.lambdaclass.com·9h

Show HN: We put ZK attribute proofs inside x402 payment headers 📋Attestation

news.ycombinator.com·2d·Hacker News

test (3) Linux Manual Page 💾Binary Analysis

systutorials.com·9h

Functional Programming in Lean - Functional Programming in Lean 🔣Type Systems

leanprover.github.io·3d·Hacker News

ECAPI-talizing on Conversions with the Final ECAPI spec 🔀Concolic Execution

iabtechlab.com·2d

Timestamp Drift and Sensor Synchronization: Small Timing Errors, Big Safety Consequences 🔌Hardware Security

eetimes.com·14h

Behavioral security for AI agents, OS-level interception 🐧Kernel Exploitation

quintai.dev·1d·Hacker News

AI Omnibus: Next Steps 🧩Intermediate Representation

europedigital.cloud·3d

Log in to enable infinite scrolling