Simulatable channels: extended security that is universally composable and easier to prove
scientific article; zbMATH DE number 7005650
scientific article