Uncover hidden vulnerabilities & attack patterns in your software! A new type system reveals the "weird machines" that programs expose, enabling you to detect & prevent composed attacks: 'Vulnerability Flow Type Systems' by Mohsen Lesan
https://langsechq.gitlab.io/spw24/papers/LangSec2024-Lesani-paper.pdf