Securing Concurrent Lazy Programs Against Information Leakage
CSF, pp. 37-52, 2017.
Many state-of-the-art information-flow control (IFC) tools are implemented as Haskell libraries. A distinctive feature of this language is lazy evaluation. In his influencal paper on why functional programming matters, John Hughes proclaims:,,Lazy evaluation is perhaps the most powerful tool for modularization in the functional programmer...More
Full Text (Upload PDF)
PPT (Upload PPT)