I’m working on abstract verification of access policies instead

😅 Here's an article on how that contributes to killing people: https://arxiv.org/html/2508.17043v1