Secure Information Flow for Concurrent Programs under Total Store Order | IEEE Conference Publication | IEEE Xplore