Precise enforcement of progress-sensitive security

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Conference on Computer and Communications Security

• Publication date

  2012-10-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2382196.2382289
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Securing Interactive Programs

  2012cited by this paper
• Addressing covert termination and timing channels in concurrent information flow systems

  2012cited by this paper
• Abstractions for Usable Information Flow Control in Aeolus

  2012cited by this paper
• Quantifying Information Flow Using Min-Entropy

  2011cited by this paper
• Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach

  2011cited by this paper
• Limiting information leakage in event-based communication

  2011cited by this paper
• Analyzing audit trails in the Aeolus security platform

  2011cited by this paper
• Decentralized Delimited Release

  2011cited by this paper
• Predictive mitigation of timing channels in interactive systems

  2011cited by this paper
• Under consideration for publication in Math. Struct. in Comp. Science Quantification of Integrity †

  2011cited by this paper
• Noninterference through Secure Multi-execution

  2010cited by this paper
• Dynamic vs. Static Flow-Sensitive Security Analysis

  2010cited by this paper
• Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks

  2010cited by this paper
• Predictive black-box mitigation of timing channels

  2010cited by this paper
• Under consideration for publication in Math. Struct. in Comp. Science Nontermination and Secure Information Flow

  2010cited by this paper
• Termination Analysis with Compositional Transition Invariants

  2010cited by this paper
• Audit Trails in the Aeolus Distributed Security Platform

  2010cited by this paper
• A termination analyzer for Java bytecode based on path-length

  2010cited by this paper
• Declassification: Dimensions and principles

  2009cited by this paper
• All Secrets Great and Small

  2009cited by this paper
• Declassification with Explicit Reference Points

  2009cited by this paper
• Well-Typed Programs Can't Be Blamed

  2009cited by this paper
• Summarization for termination: no return!

  2009cited by this paper
• Noninterference with Dynamic Security Domains and Policies

  2009cited by this paper
• Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities

  2009cited by this paper
• Ranking Abstractions

  2008influential reference
• Civitas: Toward a Secure Voting System

  2008cited by this paper
• Termination-Insensitive Noninterference Leaks More Than Just a Bit

  2008influential reference
• End-to-End Enforcement of Erasure and Declassification

  2008cited by this paper
• Tractable Enforcement of Declassification Policies

  2008cited by this paper
• Proving Conditional Termination

  2008cited by this paper
• Localized delimited release: combining the what and where dimensions of information release

  2007cited by this paper
• Gradual Release: Unifying Declassification, Encryption and Key Release Policies

  2007influential reference
• Gradual Release : Unifying Declassi cation , Encryption and Key Release Policies

  2007influential reference
• Automatic Termination Proofs for Programs with Shape-Shifting Heaps

  2006cited by this paper
• Termination proofs for systems code

  2006influential reference
• EXE: automatically generating inputs of death

  2006cited by this paper
• On flow-sensitive security types

  2006cited by this paper
• Managing policy updates in security-typed languages

  2006cited by this paper
• Information-flow security for interactive programs

  2006cited by this paper
• Hybrid type checking

  2006cited by this paper
• Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

  2005cited by this paper
• Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software

  2005cited by this paper
• On Typing Information Flow

  2005cited by this paper
• A Complete Method for the Synthesis of Linear Ranking Functions

  2004cited by this paper
• A Model for Delimited Information Release

  2003cited by this paper
• Language-based information-flow security

  2003cited by this paper
• High Integrity Software - The SPARK Approach to Safety and Security

  2003cited by this paper
• Noninterference for concurrent programs and thread systems

  2002cited by this paper
• A new type system for secure information flow

  2001cited by this paper
• Secure information flow in a multi-threaded imperative language

  1998cited by this paper
• Eliminating covert flows with minimum typings

  1997cited by this paper
• A sound type system for secure flow analysis

  1996cited by this paper
• Form Methods Syst Des DOI 10.1007/s10703-013-0186-4 Ranking function synthesis for bit-vector relations

  year unknowncited by this paper

• Nonmalleable Progress Leakage

  2025influential citation
• Giving semantics to program-counter labels via secure effects

  2020cites this paper
• Reconciling progress-insensitive noninterference and declassification

  2020cites this paper
• Data and Applications Security and Privacy XXXIV: 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25–26, 2020, Proceedings

  2020cites this paper
• Information Flow Security Certification for SPARK Programs

  2020cites this paper
• Securing the Foundations of Practical Information Flow Control

  2019cites this paper
• Compositional Non-interference for Concurrent Programs via Separation and Framing

  2018cites this paper
• Impossibility of Precise and Sound Termination-Sensitive Security Enforcements

  2018cites this paper
• Faceted Secure Multi Execution

  2018cites this paper
• Prudent Design Principles for Information Flow Control

  2018cites this paper
• On transparent value-sensitive run-time monitoring for information flow policies

  2018cites this paper
• From Trash to Treasure: Timing-Sensitive Garbage Collection

  2017cites this paper
• Multiple Facets for Dynamic Information Flow with Exceptions

  2017cites this paper
• Information-Flow Control with Fading Labels

  2017cites this paper
• A progress-sensitive ow-sensitive inlined information-ow control monitor

  2016cites this paper
• A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)

  2016influential citation
• Progress-Sensitive Security for SPARK

  2016influential citation
• Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values

  2016cites this paper
• Fine-grained Information Flow for Concurrent Computation

  2016cites this paper
• Asymmetric Secure Multi-execution with Declassification

  2016cites this paper
• A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages

  2016cites this paper
• IFC Inside: Retrofitting Languages with Dynamic Information Flow Control

  2015cites this paper
• Stephen Chong Research Statement

  2015cites this paper
• Cryptographic Enforcement of Language-Based Information Erasure

  2015cites this paper
• Static Analysis of Non-interference in Expressive Low-Level Languages

  2015cites this paper
• Faceted execution of policy-agnostic programs Citation

  2014cites this paper
• Faceted execution of policy-agnostic programs

  2013cites this paper
• Enforcing Information Flow by Combining Static and Dynamic Analysis

  2013cites this paper
• Towards a practical secure concurrent language

  2012cites this paper
• Information Flow Security Certification for SPARK Programs

  year unknowncites this paper