Abstract. A major difficulty for tracking information flow in multithreaded pro- grams is due to the internal timing covert channel.

This paper presents a compositional transformation that closes the internal timing channel for multithreaded programs (or rejects the program if there are�...

The transformation is based on spawning dedicated threads, whenever computation may affect secrets, and carefully synchronizing them. The target language�...

A compositional transformation is presented that closes the internal timing channel for multithreaded programs (or rejects the program if there are symptoms�...

This paper presents a compositional transformation that closes the internal timing channel for multithreaded programs (or rejects the program if there are�...

Closing Internal Timing Channels by Code Transformation. Alejandro Russo. 1 ... • Transformation that closes internal timing channels. • Dynamic thread�...

Closing Internal Timing Channels by Transformation. Conference paper, reviewed. Authors. Alejandro Russo | External. John Hughes | External.

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers. Sign up for an account to�...

Closing Internal Timing Channels by Transformation. Paper in proceeding, 2007. Author. Alejandro Russo. Chalmers, Computer Science and Engineering (Chalmers).

Closing internal timing channels by transformation. In Proc. of Asian Computing. Science Conference, LNCS. Springer-Verlag, Dec. 2006. [43] A. Russo, K�...