Stefan, Deian; Russo, Alejandro; Buiras, Pablo; Levy, Amit; Mitchell, John C.; Maziéres, David Addressing covert termination and timing channels in concurrent information flow systems. (English) Zbl 1291.68057 Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 201-214 (2012). Cited in 2 Documents MSC: 68M14 Distributed systems 68M11 Internet topics 68N18 Functional programming and lambda calculus Keywords:covert channels; library; monad Software:Aglet PDF BibTeX XML Cite \textit{D. Stefan} et al., in: Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP '12, Copenhagen, Denmark, September 9--15, 2012. New York, NY: Association for Computing Machinery (ACM). 201--214 (2012; Zbl 1291.68057) Full Text: DOI