@misc{cryptoeprint:2010:213, author = {Ran Canetti and Suresh Chari and Shai Halevi and Birgit Pfitzmann and Arnab Roy and Michael Steiner and Wietse Venema}, title = {Composable Security Analysis of OS Services}, howpublished = {Cryptology ePrint Archive, Report 2010/213}, year = {2010}, url = {http://eprint.iacr.org/2010/213}, }