- Observational Determinism for Concurrent Program Security Steve Zdancewic
- Robust Declassification Steve Zdancewic Andrew C. Myers
- Secure Information Flow via Linear Continuations # Steve Zdancewic (zdance@cs.cornell.edu)
- CSP and determinism in security modelling A.W. Roscoe
- Robust Declassification Steve Zdancewic Andrew C. Myers
- A Model for Delimited Information Release Andrei Sabelfeld 1
- Enforcing Robust Declassification and Qualified Robustness
- QUANTIFICATION AND FORMALIZATION OF A Dissertation
- Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider
- Quantifying Information Flow with Beliefs Michael R. Clarkson Andrew C. Myers Fred B. Schneider
- Confidentiality and Integrity with Untrusted Hosts Steve Zdancewic Andrew C. Myers
- Compile Jif Programs for Distributed Systems
- Dynamic Security Labels and Noninterference Lantian Zheng Andrew C. Myers
- Fabric: A Platform for Secure Distributed Computation and Storage Jed Liu Michael D. George K. Vikram
- In Proceedings of the 2001 IEEE Computer Security Foundations Workshop, pages 1523 Robust Declassification
- ALSO: A Language for Extensible Multiuser Systems Andrew C. Myers
- Fine-grained Information Flow Analysis for a -calculus with Sum Types
- Homogeneous Family Sharing: Technical report
- Encapsulating Objects with Confined Types
- Dynamic Security Labels and Static Information Flow Lantian Zheng Andrew C. Myers
- A Core Calculus of Dependency Abadi, Banerjee,
- Classes and Mixins Matthew Flatt Shriram Krishnamurthi Matthias Felleisen
- Journal of Computer Security draft printout, (29 Jul 1996), 1--20 A SOUND TYPE SYSTEM FOR SECURE FLOW
- Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
- To appear in Proceedings of the 16th USENIX Security Symposium (Security '07) SIF: Enforcing Confidentiality and Integrity in Web Applications
- Language-Based Information Erasure Stephen Chong Andrew C. Myers
- Scalable Extensibility via Nested Inheritance Nathaniel Nystrom Stephen Chong Andrew C. Myers
- Dynamic Security Labels and Noninterference Lantian Zheng Andrew C. Myers
- JMatch: Iterable Abstract Pattern Matching for Java Jed Liu and Andrew C. Myers
- Untrusted Hosts and Confidentiality: Secure Program Partitioning
- Coercion-Resistant Remote Voting using Decryption Mixes Michael R. Clarkson Andrew C. Myers
- Programming with Explicit Security Policies Andrew C. Myers
- Confidentiality and Integrity with Untrusted Hosts Steve Zdancewic Andrew C. Myers
- Homogeneous Family Sharing Facebook Inc.
- Sharing Classes Between Families Xin Qi Andrew C. Myers
- Proceedings of the 2008 IEEE Symposium on Security and Privacy (Oakland '08) Civitas: Toward a Secure Voting System
- This is a test document showing how utf8.sty makes it possible to put many characters directly into a LaTeX document. Digraphs in Vim exist for many of these characters, and some additional bindings have
- PLDI'06 Tutorial T1: Enforcing and Expressing Security
- CS 312 Problem Set 6: -Shark (CTF) Assigned: April 15, 2004 Due: 11:59PM, May 6, 2004
- CS 312 Problem Set 5: Concurrent Language Interpreter Assigned: March 29, 2004 Due: 11:59PM, April 15, 2004
- Composing First-Class Transactions NICHOLAS HAINES, DARRELL KINDRED, J. GREGORY MORRISETT,
- The IceCube approach to the reconciliation of divergent Anne-Marie Kermarrec,Antony
- Advanced Programming Languages Seminar Language-Based Security and
- Introduction to Information Flow Andrew Myers
- Operating R.S. Gaines Systems Editor
- Detecting Format String Vulnerabilities with Type Qualifiers
- A Core Calculus of Dependency Martin Abadi
- Observational Determinism for Concurrent Program Security
- Quantitative Information Flow
- Nondeterminism and Information Flow
- Hector Garcaa-Molrna Kenneth Salem
- Supporting Workflow in a Course Management System Chavdar Botev Hubert Chao Theodore Chao Raymond Doyle Sergey Grankin
- Massachusetts Institute of Technology Laboratory for Computer Science
- IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 21, NO. 1, JANUARY 2003 1 LanguageBased InformationFlow Security
- CACL: Efficient Fine-Grained Protection for Objects
- Making Distributed Computation Trustworthy by Construction Lantian Zheng Andrew C. Myers
- CS 312 Problem Set 6: Ball Assigned: April 10, 2003 Due: 11:59PM, May 2, 2003
- Advanced Programming Languages Seminar Language-Based Security and Information Flow
- Resolving the Integrity/Performance Conflict Andrew C. Myers
- A Semantic Framework for Declassification and Endorsement
- Predictive Black-Box Mitigation of Timing Channels Aslan Askarov
- Nested Intersection for Scalable Software Composition (Technical Report)
- Checking Secure Interactions of Smart Card Applets
- Security Models and Information Flow John McLean
- Interruptible Iterators Jed Liu Aaron Kimball Andrew C. Myers
- End-to-End Enforcement of Erasure and Declassification Stephen Chong Andrew C. Myers
- Securing Nonintrusive Web Encryption through Information Flow
- J&: Nested Intersection for Scalable Software Composition Nathaniel Nystrom Xin Qi Andrew C. Myers
- Mostly-Static Decentralized Information Flow Control Andrew C. Myers
- Scalable Extensibility via Nested Inheritance (Technical Report)
- Enforcing Robust Declassification Andrew C. Myers
- Secure Information Flow via Linear Continuations Steve Zdancewic (zdance@cs.cornell.edu)
- Quantifying Information Flow Nate Nystrom
- Type-Safe Prototype-Based Component Evolution
- JMatch: Java plus Pattern Matching Jed Liu Andrew C. Myers
- Certification of Programs for Secure Information Flow
- LANGUAGE SUPPORT FOR RELIABLE, EXTENSIBLE LARGE-SCALE SOFTWARE
- MostlyStatic Decentralized Information Flow Control Andrew C. Myers
- !#"$&%'&#"(&0)1!0)243 5678@95A)2 B93DCE43GFIHPFG)2&0)RQTSVUGW7X)RY0`$FG)2&a
- Sharing Classes Between Families: Technical report
- What is intransitive noninterference? A.W. Roscoe
- Masked Types for Sound Object Initialization Xin Qi Andrew C. Myers
- Protecting Privacy using the Decentralized Label Model
- Understanding Java Stack Inspection Dan S. Wallach Edward W. Felten
- Civitas: Toward a Secure Voting System Michael R. Clarkson Stephen Chong Andrew C. Myers
- MAKING DISTRIBUTED COMPUTATION SECURE BY CONSTRUCTION
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
- The SLam Calculus: Programming with Secrecy and Integrity
- A Type System for Higher-Order Modules Derek Dreyer Karl Crary Robert Harper
- Implementing Layered Designs with Mixin Layers1 Yannis Smaragdakis and Don Batory
- JFlow: Practical Mostly-Static Information Flow Control
- Fast Object Operations in a Persistent Programming System
- Units: Cool Modules for HOT Languages Matthew Flatt Matthias Felleisen
- Quantifying Information Flow February 5, 2002
- ATTACKER CONTROL AND IMPACT FOR CONFIDENTIALITY AND INTEGRITY ASLAN ASKAROV AND ANDREW C. MYERS
- Predictive Mitigation of Timing Channels in Interactive Systems
