Sökning: "Alejandro Russo"

Hittade 2 avhandlingar innehållade orden Alejandro Russo.

1. 1. Controlling Timing Channels in Multithreaded Programs

   Författare :Alejandro Russo; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER