News for hackers. Stuff that matters.

A comment on CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot. Parent comment

Re:CreuSAT: Formally verified SAT solver written in Rust and... by ahaquer on Saturday June 18, 2022 @02:36AM (#31787685)
SMT solvers are built on top of them which can do useful things like crack license keys or do cryptanalysis.

https://zeta-two.com/assets/other/nixucon18-slides.pdf https://github.com/TechSecCTF/z3_splash_class

[ Parent | on HN ]

There are no comments on this comment yet.