Search for dissertations about: "Alejandro Russo"

Found 2 swedish dissertations containing the words Alejandro Russo.

2. 1. Controlling Timing Channels in Multithreaded Programs

   Author : Alejandro Russo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : The problem of controlling information flow in multithreaded programs remains an important open challenge. A major difficulty fortracking information flow in concurrent programs is due to the internal timing covert channel. READ MORE

4. 2. Language Support for Controlling Timing-Based Covert Channels

   Author : Alejandro Russo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; information-flow; language-based security; semaphores; non-interference; Haskell; library; concurrency; internal timing covert channel;

   Abstract : The problem of controlling information flow in multithreaded programs remains an important open challenge.A major difficulty for tracking information flow in concurrent programs is due to the internal timing covert channel. READ MORE