- Principals in Programming Languages: A Syntactic Proof Technique Steve Zdancewic Dan Grossman Greg Morrisett \Lambda
- Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
- Featherweight Java Stephen Tse
- MFPS XIX Preliminary Version A Type System for Robust Declassi cation
- Encoding Information Flow in Haskell University of Pennsylvania
- Lightweight Linear Types in System F Karl Mazurak Jianzhou Zhao Steve Zdancewic
- Secure Information Flow via Linear Continuations Steve Zdancewic (zdance@cs.cornell.edu)
- Information Integrity Policies Peng Li Yun Mao Steve Zdancewic ?
- Tse and Zdancewic cunit
- Run-time Principals in Information-flow Type Systems Stephen Tse Steve Zdancewic
- PROGRAMMING LANGUAGES FOR INFORMATION A Dissertation
- Informationflow Pennsylvania
- Using Replication and Partitioning to Build Secure Distributed Systems
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Secure Information Flow via Linear Continuations Steve Zdancewic (zdance@cs.cornell.edu)
- Untrusted Hosts and Confidentiality: Secure Program Partitioning
- Run-time Principals in Information-flow Type Systems Stephen Tse Steve Zdancewic
- A Cryptographic Decentralized Label Model Jeffrey A. Vaughan Steve Zdancewic #
- Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
- Unifying Confidentiality and Integrity in Downgrading Policies Peng Li Steve Zdancewic
- Runtime Principals in Informationflow Type Systems Stephen Tse Steve Zdancewic
- Soundness Theorem for Simply-Typed Lambda Calculus in Abstract Variable Representation (point format)
- Confidentiality and Integrity with Untrusted Hosts: Technical Report
- A Theory of Aspects David Walker
- Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 20 pages
- Principals in Programming Languages: Technical Results Steve Zdancewic Dan Grossman \Lambda
- Confidentiality and Integrity with Untrusted Hosts: Technical Report
- Runtime Principals in Informationflow Type Systems Stephen Tse Steve Zdancewic
- Translating Dependency into Parametricity Stephen Tse Steve Zdancewic
- Robust Declassification Steve Zdancewic Andrew C. Myers
- Soundness Theorem for SimplyTyped Lambda Calculus in Abstract Variable Representation (tree format)
- Encoding Information Flow in AURA Limin Jia Steve Zdancewic
- CETS: Compiler-Enforced Temporal Safety for C Santosh Nagarakatte Jianzhou Zhao Milo M. K. Martin Steve Zdancewic
- A Cryptographic Decentralized Label Model Jeffrey A. Vaughan Steve Zdancewic
- Syntactic Type Abstraction DAN GROSSMAN, GREG MORRISETT, and STEVE ZDANCEWIC
- Secure Information Flow and CPS Steve Zdancewic Andrew C. Myers
- A Design for a Security-typed Language with Certificate-based Declassification
- Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
- Syntactic Type Abstraction DAN GROSSMAN, GREG MORRISETT, and STEVE ZDANCEWIC
- Noninterference Theorem for Dependency Core Calculus (DCC) Stephen Tse
- Steve Zdancewic Research Statement
- Lolliproc: to Concurrency from Classical Linear Logic via Curry-Howard and Control
- Updatable Security Views J. Nathan Foster Benjamin C. Pierce Steve Zdancewic
- Run-time Principals in Information-flow Type Systems
- Enforcing Robust Declassification Andrew C. Myers
- Challenges for Information-flow Security Steve Zdancewic
- MFPS XIX Preliminary Version A Type System for Robust Declassification
- Managing Policy Updates in Security-Typed Languages Nikhil Swamy Michael Hicks
- Mechanized Metatheory for the Masses: The PoplMark Challenge
- Practical Information-flow Control in Web-based Information Systems
- Advanced Control Flow in Java Card Programming Peng Li Steve Zdancewic
- Run-time Principals in Information-flow Type Systems Stephen Tse Steve Zdancewic
- A Theory of Aspects David Walker
- Using Replication and Partitioning to Build Secure Distributed Systems
- Robust Declassification Steve Zdancewic Andrew C. Myers
- ABASH: Finding Bugs in Bash Scripts Karl Mazurak
- Designing a Security-typed Language with Certificate-based Declassification
- PROGRAMMING LANGUAGES FOR INFORMATION A Dissertation
- Principals in Programming Languages: Technical Results Steve Zdancewic Dan Grossman
- Run-time Principals in Information-flow Type Systems Stephen Tse Steve Zdancewic
- Run-time Principals in Information-flow Type Systems
- Dynamic Updating of Information-Flow Policies Michael Hicks
- Concise Concrete Syntax Stephen Tse Steve Zdancewic
- Secure Information Flow and CPS Steve Zdancewic Andrew C. Myers
- Runtime Principals in Informationflow Type Systems Stephen Tse Steve Zdancewic
- A Design for a Securitytyped Language with Certificatebased Declassification
- Translating Dependency into Parametricity Stephen Tse Steve Zdancewic
- Soundness Theorem for SimplyTyped Lambda Calculus in Abstract Variable Representation (point format)
- Translating Dependency into Parametricity Stephen Tse Steve Zdancewic
- Dynamic Updating of Information-Flow Policies Michael Hicks
- Translating Dependency into Parametricity Stephen Tse Steve Zdancewic
- Designing a Securitytyped Language with Certificatebased Declassification
- Combining Events And Threads For Scalable Network Services Implementation And Evaluation Of Monadic,
- Runtime Principals in Informationflow Type Systems Stephen Tse Steve Zdancewic
- Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic
- Arrows for Secure Information Flow Peng Li Steve Zdancewic
- Kerberos: An Authentication Service for Open Network Systems Jennifer G. Steiner
- CIS551: Networks and Security Project 3 Spring 2007 Due: 3 April 2007
- CIS551: Networks and Security Project 3 Spring 2009 Due: 6 April 2009 at 11:59 PM
- 2002 Sanctum Inc. www.SanctumInc.com Cross Site Scripting Explained
- Advanced SQL Injection In SQL Server Applications
- CIS551: Networks and Security Project 3 Spring 2007 Due: 4 April 2008 at 11:59 PM
