A Composable Treatment of Anonymous Communication. - Fabio Matteo Banfi (2023)