, donde el autor muestra que...
Aceptado en TCC 2025 - nos vemos en Aarhus. Curiosamente, tiene un modelo más simple y pruebas del artículo de Faonio et al. que fue publicado en ACM CCS 2025, que se supone que es una conferencia aplicada, mientras que TCC es una conferencia de teoría.
729