, waar de auteur laat zien dat...
Geaccepteerd voor TCC 2025 - tot ziens in Aarhus. Grappig genoeg heeft het een eenvoudiger model en bewijzen van het artikel van Faonio et al. dat gepubliceerd is op ACM CCS 2025, wat een toegepaste conferentie zou moeten zijn, terwijl TCC een theorieconferentie is.
890