selected publications conference paper Model-based Confidentiality Analysis under Uncertainty. . 2023