As part of the PANTHEON project, team member David Darais (University of Vermont) and collaborators presented their findings on type systems and authorization hooks titled “Abstracting Faceted Execution” at the 2020 IEEE 33rd Computer Security Foundations Symposium. A link to the corresponding publication (in the conference proceedings) can be found here.