Stephen Chong

	2011
24		Scott Moore, Stephen Chong: Static Analysis for Efficient Hybrid Information-Flow Control. CSF 2011: 146-160
23		Jeffrey A. Vaughan, Stephen Chong: Inference of Expressive Declassification Policies. IEEE Symposium on Security and Privacy 2011: 180-195
22		Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan: Truthful Mechanisms for Agents that Value Privacy CoRR abs/1111.5472: (2011)
	2010
21		Stephen Chong: Required Information Release. CSF 2010: 215-227
20		Stephen Chong, Christian Skalka, Jeffrey A. Vaughan: Self-identifying sensor data. IPSN 2010: 82-93
	2009
19		Stephen Chong, David A. Naumann: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009 ACM 2009
18		James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren: Provenance: a future history. OOPSLA Companion 2009: 957-964
17		Stephen Chong, Ron van der Meyden: Deriving epistemic conclusions from agent architecture. TARK 2009: 61-70
16		Stephen Chong: Towards Semantics for Provenance Security. Workshop on the Theory and Practice of Provenance 2009
15		Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng: Building secure web applications with automatic partitioning. Commun. ACM 52(2): 79-87 (2009)
	2008
14		Stephen Chong, Andrew C. Myers: End-to-End Enforcement of Erasure and Declassification. CSF 2008: 98-111
13		Michael R. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: Toward a Secure Voting System. IEEE Symposium on Security and Privacy 2008: 354-368
	2007
12		Michael E. Clarkson, Stephen Chong, Andrew C. Myers: Civitas: A Secure Remote Voting System. Frontiers of Electronic Voting 2007
11		Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng: Secure web application via automatic partitioning. SOSP 2007: 31-44
	2006
10		Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong: Information-Flow Security for Interactive Programs. CSFW 2006: 190-201
9		Stephen Chong, Andrew C. Myers: Decentralized Robustness. CSFW 2006: 242-256
	2005
8		Stephen Chong, Andrew C. Myers: Language-Based Information Erasure. CSFW 2005: 241-254
	2004
7		Stephen Chong, Andrew C. Myers: Security policies for downgrading. ACM Conference on Computer and Communications Security 2004: 198-209
6		Hubie Chen, Stephen Chong: Owned Policies for Information Security. CSFW 2004: 126-138
5		Nathaniel Nystrom, Stephen Chong, Andrew C. Myers: Scalable extensibility via nested inheritance. OOPSLA 2004: 99-115
4		Stephen Chong, Riccardo Pucella: A Framework for Creating Natural Language User Interfaces for Action-Based Applications CoRR abs/cs/0412065: (2004)
	2003
3		Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic: Using Replication and Partitioning to Build Secure Distributed Systems. IEEE Symposium on Security and Privacy 2003: 236-250
2		Stephen Chong, Radu Rugina: Static Analysis of Accessed Regions in Recursive Data Structures. SAS 2003: 463-482
1		Riccardo Pucella, Stephen Chong: Review of type-logical semantics. SIGACT News 34(1): 6-17 (2003)

Coauthor Index

1	Hubie Chen	[6]
2	Yiling Chen	[22]
3	James Cheney	[18]
4	Michael E. Clarkson	[12]
5	Michael R. Clarkson	[10] [13]
6	Nate Foster (J. Nathan Foster)	[18]
7	Ian A. Kash	[22]
8	Jed Liu	[11] [15]
9	Ron van der Meyden	[17]
10	Scott Moore	[24]
11	Tal Moran	[22]
12	Andrew C. Myers	[3] [5] [7] [8] [9] [11] [12] [13] [14] [15]
13	David A. Naumann	[19]
14	Nathaniel Nystrom	[5]
15	Kevin R. O'Neill	[10]
16	Riccardo Pucella	[1] [4]
17	Xin Qi	[11] [15]
18	Radu Rugina	[2]
19	Margo I. Seltzer	[18]
20	Christian Skalka	[20]
21	Salil P. Vadhan	[22]
22	Stijn Vansummeren	[18]
23	Jeffrey A. Vaughan	[20] [23]
24	K. Vikram	[11] [15]
25	Steve Zdancewic	[3]
26	Lantian Zheng	[3] [11] [15]
27	Xin Zheng	[11] [15]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page