, di mana penulis menunjukkan bahwa...

Diterima di TCC 2025 - sampai jumpa di Aarhus. Lucunya, ia memiliki model dan bukti yang lebih sederhana dari makalah Faonio et al. yang diterbitkan di ACM CCS 2025, yang seharusnya menjadi konferensi terapan, sedangkan TCC adalah konferensi teori.