Steve Zdancewic - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Generative type abstraction and type-level computationStephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic. POPL 2011: 227-240 [doi]

2010

2009

2008

2007

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitivesPeng Li, Steve Zdancewic. PLDI 2007: 189-199 [doi]

Run-time principals in information-flow type systemsStephen Tse, Steve Zdancewic. TOPLAS, 30(1), 2007. [doi]

A Cryptographic Decentralized Label ModelJeffrey A. Vaughan, Steve Zdancewic. sp 2007: 192-206 [doi]

Application-level concurrency: combining events and treads: invited talkSteve Zdancewic. POPL 2007: 2 [doi]

2006

2005

2004

2003

2002

Secure program partitioningSteve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers. tocs, 20(3):283-328, 2002. [doi]

Secure Information Flow via Linear ContinuationsSteve Zdancewic, Andrew C. Myers. lisp, 15(2-3):209-234, 2002.

2001

Untrusted Hosts and Confidentiality: Secure Program PartitioningSteve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers. sosp 2001: 1-14 [doi]

Robust DeclassificationSteve Zdancewic, Andrew C. Myers. csfw 2001: 15 [doi]

Secure Information Flow and CPSSteve Zdancewic, Andrew C. Myers. ESOP 2001: 46-61 [doi]

2000

Syntactic type abstractionDan Grossman, J. Gregory Morrisett, Steve Zdancewic. TOPLAS, 22(6):1037-1080, 2000. [doi]

1999

Principals in Programming Languages: A Syntactic Proof TechniqueSteve Zdancewic, Dan Grossman, J. Gregory Morrisett. ICFP 1999: 197-207 [doi]