, donde el autor muestra que...
Aceptado para TCC 2025 - nos vemos en Aarhus. Curiosamente, tiene un modelo más simple y pruebas del artículo de Faonio et al. que se publicó en ACM CCS 2025, que se supone que es una conferencia aplicada, mientras que TCC es una conferencia teórica.
715