Steve Zdancewic

2008
34	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
33	EE	Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191
32	EE	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	EE	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	EE	Steve Zdancewic: Application-level concurrency: combining events and treads: invited talk. DAMP 2007: 2
29	EE	Jeffrey A. Vaughan, Steve Zdancewic: A Cryptographic Decentralized Label Model. IEEE Symposium on Security and Privacy 2007: 192-206
28	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
27	EE	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	EE	Peng Li, Steve Zdancewic: Encoding Information Flow in Haskell. CSFW 2006: 16
24	EE	Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
23	EE	Rajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
22	EE	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic: Enforcing Robust Declassification and Qualified Robustness. Journal of Computer Security 14(2): 157-196 (2006)
21	EE	Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
2005
20	EE	Peng Li, Steve Zdancewic: Practical Information-flow Control in Web-Based Information Systems. CSFW 2005: 2-15
19	EE	Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP 2005: 279-294
18	EE	Peng Li, Steve Zdancewic: Downgrading policies and relaxed noninterference. POPL 2005: 158-170
17	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
16	EE	Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic: It Is Time to Mechanize Programming Language Metatheory. VSTTE 2005: 26-30
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	[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]
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	Nathaniel Nystrom	[3] [7]
24	Benjamin C. Pierce	[16] [17]
25	Andrei Sabelfeld	[15] [22]
26	Usa Sammapun	[8]
27	Joseph Schorr	[32]
28	Peter Sewell	[16] [17]
29	Raman Sharykin	[8]
30	Vugranam C. Sreedhar	[26]
31	Nikhil Swamy	[24]
32	Stephen Tse	[13] [14] [19] [24] [27]
33	Jeffrey A. Vaughan	[29] [32] [33]
34	Luca Viganò	[31]
35	Dimitrios Vytiniotis	[17]
36	David Walker	[10] [21]
37	Geoffrey Washburn	[17]
38	Stephanie Weirich	[16] [17]
39	Luke Zarko	[32]
40	Jianzhou Zhao	[32]
41	Lantian Zheng	[3] [7] [9]

Colors in the list of coauthors