EasyChair Smart Slide
Knowledge-based Security of Dynamic Secrets for Reactive Programs
Knowledge-based Security of Dynamic Secrets for Reactive Programs