Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Venema. Composable Security Analysis of OS Services. In Javier Lopez, Gene Tsudik, editors, Applied Cryptography and Network Security - 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings. Volume 6715 of Lecture Notes in Computer Science, pages 431-448, 2011. [doi]
Abstract is missing.