This page shows all presentations of this author published in EasyChair Smart Slide.
My Journey through Observational Equivalence Research with Martin Hofmann
Vivek Nigam
A Logical Framework with Commutative and Non-Commutative Subexponentials
Max Kanovich, Stepan Kuznetsov, Vivek Nigam and Andre Scedrov
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols
Musab A. Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott