Securing interaction between threads and the scheduler in the presence of synchronization

Alejandro Russo, Andrei Sabelfeld. Securing interaction between threads and the scheduler in the presence of synchronization. Journal of Logic and Algebraic Programming, 78(7):593-618, 2009. [doi]

Abstract

Abstract is missing.