Securing Concurrent Lazy Programs Against Information Leakage | IEEE Conference Publication | IEEE Xplore