A composable cryptographic library with nested operationsMichael BackesBirgit Pfitzmannet al.2003CCS 2003