Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan. DEICS: Data Erasure in Concurrent Software. In Karin Bernsmed, Simone Fischer-Hübner, editors, Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, Proceedings. Volume 8788 of Lecture Notes in Computer Science, pages 42-58, Springer, 2014. [doi]
Abstract is missing.