Securing interaction between threads and the scheduler. (2006)

by A Russo, A Sabelfeld
Venue:In Proc. IEEE Computer Sec. Foundations Workshop,