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 |