@inbook{inbook, title  = {{On the Simulation-Extractability of Proof-Carrying Data}},

 publisher = {{Springer Nature Switzerland}},

 url = {{https://doi.org/10.1007/978-3-032-26737-5_9 }},

 year = {{2026}},

 month = {{1}},

 author = {{Abdolmaleki B and Campanelli M and Dao Q and Khoshakhlagh H}},

 doi = {{10.1007/978-3-032-26737-5_9}},

 isbn = {{9783032267368}},

 pages = {{269-302}},

 note = {{Accessed on 2026/06/17}}}