TY  - CHAP

T1  - On the Simulation-Extractability of Proof-Carrying Data

T2  - Lecture Notes in Computer Science

UR  - https://doi.org/10.1007/978-3-032-26737-5_9

PY  - 2026/01/01

AU  - Abdolmaleki B

AU  - Campanelli M

AU  - Dao Q

AU  - Khoshakhlagh H

ED  - 

DO  - DOI: 10.1007/978-3-032-26737-5_9

PB  - Springer Nature Switzerland

SN  - 9783032267368

SP  - 269

EP  - 302

Y2  - 2026/06/17

ER  -