According to our database1, Henry DeYoung authored at least 6 papers between 2008 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Substructural Proofs as Automata.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
Proceedings of the Computer Science Logic (CSL'12), 2012
Linear Logical Voting Protocols.
Proceedings of the E-Voting and Identity, 2011
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
Proceedings of the Information Systems Security - 7th International Conference, 2011
Experiences in the logical specification of the HIPAA and GLBA privacy laws.
Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010
An Authorization Logic With Explicit Time.
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008