As part of the PANTHEON project, David Darais of Stealth subcontractor University of Vermont, in collaboration with Christian Skalka (University of Vermont), Trent Jaeger (Penn State University), and Frank Capobianco (Penn State University), published a paper “Types and Abstract Interpretation for Authorization Hook Advice” at the 2020 Computer Security Foundations Workshop (CSF’20).