Paper accepted by ACNS 2023