This page shows all presentations of this author published in EasyChair Smart Slide.
Knowledge-based Security of Dynamic Secrets for Reactive Programs
Mckenna McCall, Hengruo Zhang and Limin Jia