MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Steve Zdancewic – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

34 documents found, showing 1 through 10. Next 10 →

ATOM

A Type System for Robust Declassification
by Steve Zdancewic — 2003
…MFPS XIX Preliminary Version A Type System for Robust Declassication Steve Zdancewic 1 University…
Cited by 25 (5 self) – Add To MetaCart

Challenges for information-flow security
by Steve Zdancewic — 2004 — In Proc. Programming Language Interference and Dependence (PLID
…Challenges for Information-flow Security 1 Introduction Steve Zdancewic stevez…
Cited by 19 (0 self) – Add To MetaCart

A cryptographic decentralized label model
by Jeffrey A. Vaughan Steve Zdancewic — 2007 — In IEEE Symposium on Security and Privacy
… A Cryptographic Decentralized Label Model Jeffrey A. Vaughan Steve Zdancewic* University…
Cited by 6 (1 self) – Add To MetaCart

Unifying confidentiality and integrity in downgrading policies
by Peng Li, Steve Zdancewic — 2005 — In Proc. of the LICS’05 Affiliated Workshop on Foundations of Computer Security (FCS
…Unifying Confidentiality and Integrity in Downgrading Policies Peng Li Steve Zdancewic Department…
Cited by 8 (3 self) – Add To MetaCart

Concise concrete syntax
by Stephen Tse, Steve Zdancewic — 2008
…Concise Concrete Syntax Stephen Tse Steve Zdancewic University of Pennsylvania Abstract We…
Cited by 3 (0 self) – Add To MetaCart

Run-time Principals in Information-flow Type Systems
by Stephen Tse, Steve Zdancewic — 2004 — In IEEE Symposium on Security and Privacy
…Run-time Principals in Information-flow Type Systems Stephen Tse Steve Zdancewic University…
Cited by 35 (8 self) – Add To MetaCart

Preserving secrecy under refinement
by Rajeev Alur, Steve Zdancewic — 2006 — Proc. of the 33rd Internat. Colloq. on Automata, Languages and Programming (ICALP ’06), volume 4052 of Lecture Notes in Computer Science
…Preserving Secrecy Under Refinement ⋆ Rajeev Alur, Pavol Čern´y, and Steve Zdancewic University…
Cited by 8 (3 self) – Add To MetaCart

Downgrading policies and relaxed noninterference
by Peng Li, Steve Zdancewic — 2005 — SIGPLAN Not
…@(email omitted); Steve Zdancewic University of Pennsylvania stevez@(email omitted); ABSTRACT In traditional information…
Cited by 58 (10 self) – Add To MetaCart

Designing a security-typed language with certificate-based declassification
by Stephen Tse, Steve Zdancewic — 2005 — In Proc. European Symp. on Programming, volume 3444 of LNCS
…A Design for a Security-typed Language with Certificate-based Declassification Stephen Tse Steve…
Cited by 16 (4 self) – Add To MetaCart

Translating Dependency into Parametricity
by Stephen Tse, Steve Zdancewic — 2004 — In Proceedings of the 9th ACM SIGPLAN International Conference on Functional Programming (ICFP’04
…Translating Dependency into Parametricity Stephen Tse Steve Zdancewic Technical Report (MS-CIS-04…
Cited by 15 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB