Henry DeYoung

E-mail: hdey...@cs...
Personal E-mail: henr...@gmail...
Office: GHC 9002 (WeH 8121)
Office Phone: +1 (412) 268-3069

I am a first-year Ph.D. student in the Computer Science Department at Carnegie Mellon University, advised by Frank Pfenning.

Previously, I was an computer science undergraduate at Carnegie Mellon, advised by Frank Pfenning on an undergraduate thesis on η logic, an authorization logic with explicit time.

I am generally interested in logic and programming languages.

• Proof theory and Martin-Löf's judgmental approach
• Languages and logics for security
• Proof checkers for teaching logic
• Mechanized metatheory

I am currently working with Frank Pfenning on a logic for reasoning about the consequences of authorization policies in a linear epistemic logic. Our preliminary results were recently accepted for publication at FCS.

I am also working with Anupam Datta on extensions to a logic for modeling privacy regulations.

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic

Henry DeYoung and Frank Pfenning.
To appear at the Workshop on Foundations of Computer Security (FCS), Los Angeles, California, August 2009.
Extended version available as Technical Report CMU-CS-09-140.

An Authorization Logic with Explicit Time

Henry DeYoung, Deepak Garg, and Frank Pfenning.
21st IEEE Computer Security Foundations Symposium (CSF).
Pittsburgh, Pennsylvania. June, 2008.
Long version with detailed proofs available as Technical Report CMU-CS-07-166.

A Logic for Reasoning About Time-Dependent Access Control Policies

Henry DeYoung.
Senior Research Thesis.
Carnegie Mellon University, May 2008.
Available as Technical Report CMU-CS-08-131.

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic

Workshop paper talk. FCS '09.
Los Angeles, CA. August 2009.

Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic

Manifest Security Meeting.
Carnegie Mellon University. May 2009.

An Authorization Logic with Explicit Time

Conference paper talk. CSF '08.
Pittsburgh, Pennsylvania. June, 2008.

• Classic films: especially from the 1930s and 1940s
• Strategy board games: especially German-style games (aka Eurogames)