bluesky — Sam Harsimony — 12 Sep 2026
There's interest in using LLM's to produce software that provably is secure under a particular threat model.
#formal-verification #security #program-synthesis
There's interest in using LLM's to produce software that provably is secure under a particular threat model.
Not perfect (no threat model perfectly matches reality) but considered the gold standard. Used to be too labor intensive but that's changing.
oath.tech en.wikipedia.org/wiki/Formal_...