Practical Proofs of Parsing for Context-free Grammars. - Harjasleen Malvai; Gregory Neven; Andrew Miller 001; Siam Hussain (IACR Cryptol. ePrint Arch., 2024)