EasyChair Smart SlideUser guide
Author: Alwen Tiu

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

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

Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (System Description)

Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (System Description)

Di Long Li and Alwen Tiu

Effective Translations between Display and Labelled Proofs for Tense Logics

Effective Translations between Display and Labelled Proofs for Tense Logics

Tim Lyon, Agata Ciabattoni, Revantha Ramanayake and Alwen Tiu

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

A Permission-Dependent Type System for Secure Information Flow Analysis

A Permission-Dependent Type System for Secure Information Flow Analysis

Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair