EasyChair Smart SlideDocs/Log in
Author: Sjouke Mauw

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

Contingent Payments from Two-Party Signing and Verification for Abelian Groups

Contingent Payments from Two-Party Signing and Verification for Abelian Groups

Sergiu Bursuc and Sjouke Mauw

Is Eve Nearby? Analysing Protocols Under the Distant-Attacker Assumption

Is Eve Nearby? Analysing Protocols Under the Distant-Attacker Assumption

Reynaldo Gil-Pons, Ross Horne, Sjouke Mauw, Alwen Tiu and Rolando Trujillo-Rasua

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