Henry DeYoung

	2011
3		Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha: Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS 2011: 1-27
	2010
2		Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta: Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES 2010: 73-82
	2008
1		Henry DeYoung, Deepak Garg, Frank Pfenning: An Authorization Logic With Explicit Time. CSF 2008: 133-145

Coauthor Index

1	Jeremiah Blocki	[3]
2	Nicolas Christin	[3]
3	Anupam Datta	[2] [3]
4	Deepak Garg	[1] [2] [3]
5	Limin Jia	[2] [3]
6	Dilsun Kirli Kaynar	[2] [3]
7	Frank Pfenning	[1]
8	Arunesh Sinha	[3]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page