EasyChair Smart SlideDocs/Log in
Author: Semyon Yurkov

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

Compositional Analysis of Protocol Equivalence in the Applied Pi-Calculus Using Quasi-Open Bisimilarity

Compositional Analysis of Protocol Equivalence in the Applied Pi-Calculus Using Quasi-Open Bisimilarity

Sjouke Mauw, Ross Horne and Semen Yurkov

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments

Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments

Ross Horne, Sjouke Mauw and Semyon Yurkov

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