Login / Signup

Secure Information Flow for Concurrent Programs under Total Store Order.

Jeffrey A. VaughanTodd D. Millstein
Published in: CSF (2012)
Keyphrases
  • information flow
  • social networks
  • programming language
  • communication networks