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
Sjouke Mauw, Ross Horne and Semen Yurkov
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
Sergiu Bursuc and Sjouke Mauw
Is Eve Nearby? Analysing Protocols Under the Distant-Attacker Assumption
Reynaldo Gil-Pons, Ross Horne, Sjouke Mauw, Alwen Tiu and Rolando Trujillo-Rasua