TY - JOUR T1 - On the Simulation-Extractability of Proof-Carrying Data. JO - IACR Cryptol. ePrint Arch. PY - 2025/01/01 AU - Abdolmaleki B AU - Campanelli M AU - Dao Q AU - Khoshakhlagh H ED - VL - 2025 SP - 2037 EP - 2037 Y2 - 2026/02/01 ER -