Han Chen, Pasquale Malacaria. The Optimum Leakage Principle for Analyzing Multi-threaded Programs. In Kaoru Kurosawa, editor, Information Theoretic Security, 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers. Volume 5973 of Lecture Notes in Computer Science, pages 177-193, Springer, 2009. [doi]
Abstract is missing.