An Authorization Logic With Explicit Time. - Henry DeYoung; Deepak Garg 001; Frank Pfenning (CSF, 2008)

Experiences in the logical specification of the HIPAA and GLBA privacy laws. - Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Anupam Datta (WPES, 2010)

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. - Anupam Datta; Jeremiah Blocki; Nicolas Christin; Henry DeYoung; Deepak Garg 001; Limin Jia 001; Dilsun Kirli Kaynar; Arunesh Sinha (ICISS, 2011)

Linear Logical Voting Protocols. - Henry DeYoung; Carsten Schürmann (VoteID, 2011)

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. - Henry DeYoung; Luís Caires; Frank Pfenning; Bernardo Toninho (CSL, 2012)

Substructural Proofs as Automata. - Henry DeYoung; Frank Pfenning (APLAS, 2016)

Semi-Axiomatic Sequent Calculus. - Henry DeYoung; Frank Pfenning; Klaas Pruiksma (FSCD, 2020)

Subtyping on Nested Polymorphic Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (CoRR, 2021)

Polarized Subtyping. - Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ESOP, 2022)

Data Layout from a Type-Theoretic Perspective (extended version). - Henry DeYoung; Frank Pfenning (MFPS, 2022)

Nested Session Types. - Ankush Das; Henry DeYoung; Andreia Mordido; Frank Pfenning (ACM Trans. Program. Lang. Syst., 2022)

Parametric Subtyping for Structural Parametric Polymorphism. - Henry DeYoung; Andreia Mordido; Frank Pfenning; Ankush Das (Proc. ACM Program. Lang., 2024)