On the Simulation-Extractability of Proof-Carrying Data.

Behzad Abdolmaleki, Matteo Campanelli, Quang Dao, Hamidreza Khoshakhlagh

Browse the full PKC paper archive.