Security Bounds for Proof-Carrying Data from Straightline Extractors.

Alessandro Chiesa, Ziyi Guan, Shahar Samocha, Eylon Yogev

Browse the full TCC paper archive.