Steve Zdancewic

	2009
35		Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic: SoftBound: highly compatible and complete spatial memory safety for c. PLDI 2009: 245-258
	2008
34		Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic: Hardbound: architectural support for spatial safety of the C programming language. ASPLOS 2008: 103-114
33		Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191
32		Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic: AURA: a programming language for authorization and audit. ICFP 2008: 27-38
31		Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic: Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. 206(2-4): 129 (2008)
	2007
30		Steve Zdancewic: Application-level concurrency: combining events and treads: invited talk. DAMP 2007: 2
29		Jeffrey A. Vaughan, Steve Zdancewic: A Cryptographic Decentralized Label Model. IEEE Symposium on Security and Privacy 2007: 192-206
28		Peng Li, Steve Zdancewic: Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. PLDI 2007: 189-199
27		Stephen Tse, Steve Zdancewic: Run-time principals in information-flow type systems. ACM Trans. Program. Lang. Syst. 30(1): (2007)
	2006
26		Vugranam C. Sreedhar, Steve Zdancewic: Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006 ACM 2006
25		Peng Li, Steve Zdancewic: Encoding Information Flow in Haskell. CSFW 2006: 16
24		Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
23		Rajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
22		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
21		Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
	2005
20		Peng Li, Steve Zdancewic: Practical Information-flow Control in Web-Based Information Systems. CSFW 2005: 2-15
19		Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP 2005: 279-294
18		Peng Li, Steve Zdancewic: Downgrading policies and relaxed noninterference. POPL 2005: 158-170
17		Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65
16		Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
	2004
15		Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
14		Stephen Tse, Steve Zdancewic: Translating dependency into parametricity. ICFP 2004: 115-125
13		Stephen Tse, Steve Zdancewic: Run-time Principals in Information-flow Type Systems. IEEE Symposium on Security and Privacy 2004: 179-193
12		Peng Li, Steve Zdancewic: Advanced control flow in Java card programming. LCTES 2004: 165-174
	2003
11		Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
10		David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. ICFP 2003: 127-139
9		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
8		Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic: Formalizing Java-MaC. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
	2002
7		Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Secure program partitioning. ACM Trans. Comput. Syst. 20(3): 283-328 (2002)
6		Steve Zdancewic, Andrew C. Myers: Secure Information Flow via Linear Continuations. Higher-Order and Symbolic Computation 15(2-3): 209-234 (2002)
	2001
5		Steve Zdancewic, Andrew C. Myers: Robust Declassification. CSFW 2001: 15
4		Steve Zdancewic, Andrew C. Myers: Secure Information Flow and CPS. ESOP 2001: 46-61
3		Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP 2001: 1-14
	2000
2		Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
	1999
1		Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207

Coauthor Index

1	Rajeev Alur	[23]
2	Brian E. Aydemir	[17]
3	Colin Blundell	[34]
4	Aaron Bohannon	[17]
5	Pavol Cerný	[23]
6	Stephen Chong	[9]
7	Margaret DeLap	[8]
8	Pierpaolo Degano	[31]
9	Joe Devietti	[34]
10	Matthew Fairbairn	[17]
11	J. Nathan Foster	[17]
12	Dan Grossman	[1] [2]
13	Michael W. Hicks (Michael Hicks)	[24]
14	Limin Jia	[32] [33]
15	Myong Kim	[8]
16	Ralf Küsters	[31]
17	Peng Li	[12] [18] [20] [25] [28]
18	Jay Ligatti (Jarred Ligatti)	[10] [21]
19	Milo M. K. Martin	[34] [35]
20	Karl Mazurak	[32] [33]
21	J. Gregory Morrisett (Greg Morrisett)	[1] [2]
22	Andrew C. Myers	[3] [4] [5] [6] [7] [9] [11] [15] [22]
23	Santosh Nagarakatte	[35]
24	Nathaniel Nystrom	[3] [7]
25	Benjamin C. Pierce	[16] [17]
26	Andrei Sabelfeld	[15] [22]
27	Usa Sammapun	[8]
28	Joseph Schorr	[32]
29	Peter Sewell	[16] [17]
30	Raman Sharykin	[8]
31	Vugranam C. Sreedhar	[26]
32	Nikhil Swamy	[24]
33	Stephen Tse	[13] [14] [19] [24] [27]
34	Jeffrey A. Vaughan	[29] [32] [33]
35	Luca Viganò	[31]
36	Dimitrios Vytiniotis	[17]
37	David Walker	[10] [21]
38	Geoffrey Washburn	[17]
39	Stephanie Weirich	[16] [17]
40	Luke Zarko	[32]
41	Jianzhou Zhao	[32] [35]
42	Lantian Zheng	[3] [7] [9]

Colors in the list of coauthors