Security Bounds For Proof-Carrying Data From Straightline Extractors - Ziyi Guan Epfl - Room 1