, où l'auteur montre que...
Accepté au TCC 2025 - à bientôt à Aarhus. Étrangement, il a un modèle plus simple et des preuves du papier de Faonio et al. qui a été publié à l'ACM CCS 2025, qui est censé être une conférence appliquée, tandis que le TCC est une conférence théorique.
642