, где автор показывает, что...

Принято на TCC 2025 - увидимся в Орхусе. Забавно, что у него более простая модель и доказательства статьи Фаонио и др., опубликованной на ACM CCS 2025, которая должна быть прикладной конференцией, в то время как TCC - это конференция по теории.