Knowledge-Based Security of Dynamic Secrets for Reactive Programs. - McKenna McCall; Hengrun Zhang 002; Limin Jia 001 (CSF, 2018)