Steve Zdancewic

2008
30	EE	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
2007
29	EE	Steve Zdancewic: Application-level concurrency: combining events and treads: invited talk. DAMP 2007: 2
28	EE	Jeffrey A. Vaughan, Steve Zdancewic: A Cryptographic Decentralized Label Model. IEEE Symposium on Security and Privacy 2007: 192-206
27	EE	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
26	EE	Stephen Tse, Steve Zdancewic: Run-time principals in information-flow type systems. ACM Trans. Program. Lang. Syst. 30(1): (2007)
2006
25		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
24	EE	Peng Li, Steve Zdancewic: Encoding Information Flow in Haskell. CSFW 2006: 16
23	EE	Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
22	EE	Rajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
21	EE	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
20	EE	Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
2005
19	EE	Peng Li, Steve Zdancewic: Practical Information-flow Control in Web-Based Information Systems. CSFW 2005: 2-15
18	EE	Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP 2005: 279-294
17	EE	Peng Li, Steve Zdancewic: Downgrading policies and relaxed noninterference. POPL 2005: 158-170
16	EE	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
2004
15	EE	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification. CSFW 2004: 172-186
14	EE	Stephen Tse, Steve Zdancewic: Translating dependency into parametricity. ICFP 2004: 115-125
13	EE	Stephen Tse, Steve Zdancewic: Run-time Principals in Information-flow Type Systems. IEEE Symposium on Security and Privacy 2004: 179-193
12	EE	Peng Li, Steve Zdancewic: Advanced control flow in Java card programming. LCTES 2004: 165-174
2003
11	EE	Steve Zdancewic, Andrew C. Myers: Observational Determinism for Concurrent Program Security. CSFW 2003: 29-
10	EE	David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. ICFP 2003: 127-139
9	EE	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	EE	Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic: Formalizing Java-MaC. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
7	EE	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	EE	Steve Zdancewic, Andrew C. Myers: Robust Declassification. CSFW 2001: 15
4	EE	Steve Zdancewic, Andrew C. Myers: Secure Information Flow and CPS. ESOP 2001: 46-61
3	EE	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers: Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP 2001: 1-14
2000
2	EE	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
1999
1	EE	Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207

Coauthor Index

1	Rajeev Alur	[22]
2	Brian E. Aydemir	[16]
3	Colin Blundell	[30]
4	Aaron Bohannon	[16]
5	Pavol Cerný	[22]
6	Stephen Chong	[9]
7	Margaret DeLap	[8]
8	Joe Devietti	[30]
9	Matthew Fairbairn	[16]
10	J. Nathan Foster	[16]
11	Dan Grossman	[1] [2]
12	Michael W. Hicks (Michael Hicks)	[23]
13	Myong Kim	[8]
14	Peng Li	[12] [17] [19] [24] [27]
15	Jay Ligatti	[10] [20]
16	Milo M. K. Martin	[30]
17	J. Gregory Morrisett (Greg Morrisett)	[1] [2]
18	Andrew C. Myers	[3] [4] [5] [6] [7] [9] [11] [15] [21]
19	Nathaniel Nystrom	[3] [7]
20	Benjamin C. Pierce	[16]
21	Andrei Sabelfeld	[15] [21]
22	Usa Sammapun	[8]
23	Peter Sewell	[16]
24	Raman Sharykin	[8]
25	Vugranam C. Sreedhar	[25]
26	Nikhil Swamy	[23]
27	Stephen Tse	[13] [14] [18] [23] [26]
28	Jeffrey A. Vaughan	[28]
29	Dimitrios Vytiniotis	[16]
30	David Walker	[10] [20]
31	Geoffrey Washburn	[16]
32	Stephanie Weirich	[16]
33	Lantian Zheng	[3] [7] [9]

Colors in the list of coauthors