Addressing covert termination and timing channels in concurrent information flow systems

@inproceedings{Stefan2012AddressingCT,
  title={Addressing covert termination and timing channels in concurrent information flow systems},
  author={Deian Stefan and Alejandro Russo and Pablo Buiras and Amit A. Levy and John C. Mitchell and David Mazi{\`e}res},
  booktitle={ICFP},
  year={2012}
}
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited bandwidth for sequential programs, it is a more dangerous source of information leakage in concurrent settings. We address concurrent termination and timing channels by presenting a… CONTINUE READING

Topics

Statistics

010202012201320142015201620172018
Citations per Year

60 Citations

Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.