Back to Results
First PageMeta Content
Functional programming / Programming idioms / Inter-process communication / Software design patterns / Parallel computing / Monad / Concurrent Haskell / Information flow / Covert channel / Concurrent computing / LIO / Recursion


Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2
Add to Reading List

Document Date: 2012-10-19 15:09:55


Open Document

File Size: 322,35 KB

Share Result on Facebook