EasyChair Smart SlideDocs/Log in
Author: Ross Horne

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

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

Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Ross Horne, Ki Yung Ahn, Shang-Wei Lin and Alwen Tiu

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