recent paper on composition of protocols