Composable Security Analysis of OS Services.

Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy, Michael Steiner, Wietse Z. Venema

Browse the full ACNS paper archive.