Categorical composable cryptography

Broadbent, A; Karvonen, M

Karvonen, M (通讯作者),Univ Ottawa, Dept Math & Stat, Ottawa, ON, Canada.

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022; 13242 (): 161