Secure Information Flow for Concurrent Programs under Total Store Order

@article{Vaughan2012SecureIF,
  title={Secure Information Flow for Concurrent Programs under Total Store Order},
  author={Jeffrey A. Vaughan and Todd D. Millstein},
  journal={2012 IEEE 25th Computer Security Foundations Symposium},
  year={2012},
  pages={19-29}
}
Modern multicore hardware and multithreaded programming languages expose weak memory models to programmers, which relax the intuitive sequential consistency (SC) memory model in order to support a variety of hardware and compiler optimizations. However, to our knowledge all prior work on secure information flow in a concurrent setting has assumed SC semantics. This paper investigates the impact of the Total Store Order (TSO) memory model, which is used by Intel x86 and Sun SPARC processors, on… CONTINUE READING