EasyChair Smart SlideDocs/Log in
Author: Vivek Nigam

This page shows all presentations of this author published in EasyChair Smart Slide.

My Journey through Observational Equivalence Research with Martin Hofmann

My Journey through Observational Equivalence Research with Martin Hofmann

Vivek Nigam

A Logical Framework with Commutative and Non-Commutative Subexponentials

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

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

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair