This page shows all presentations of this author published in EasyChair Smart Slide.
Lazy Self-Composition for Security Verification
Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta and Sharad Malik