Formal verification won't end bug hunting as AI targets unverified paths

Security researcher Julianor argues that formal verification, exemplified by seL4, won't end vulnerability research but will shift bug hunting to assumptions, hardware/runtime models and unverified paths — where AI is already finding bugs.

2026-11-12 ~ 2026-11-13 · 2 related posts

• seL4 thread examines what the most formally verified kernel still had to fix — moyix · 2026-11-12
• Formal verification shifts bug hunting to unverified paths — and AI is already finding them — dyn___ · 2026-11-13