Alwen Tiu
Australian National University
H-index: 27
Oceania-Australia
Top articles of Alwen Tiu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents | arXiv preprint arXiv:2404.15855 | Tim S Lyon Ian Shillito Alwen Tiu | 2024/4/24 |
Dagster: parallel structured search | Proceedings of the AAAI Conference on Artificial Intelligence | Mark Alexander Burgess Charles Gretton Josh Milthorpe Luke Croak Thomas Willingham | 2023/6/26 |
Modal Logics for Mobile Processes Revisited | Tiange Liu Alwen Tiu Jim de Groot | 2023 | |
Is Eve nearby? Analysing protocols under the distant-attacker assumption | Reynaldo Gil-Pons Ross Horne Sjouke Mauw Alwen Tiu Rolando Trujillo-Rasua | 2022/8/7 | |
An executable formal model of the vhdl in isabelle/hol | arXiv preprint arXiv:2202.04192 | Wilayat Khan Zhe Hou David Sanan Jamel Nebhen Yang Liu | 2022/2/8 |
A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk) | Alwen Tiu | 2022 | |
Dagster: Parallel structured search with case studies | Mark Alexander Burgess Charles Gretton Josh Milthorpe Luke Croak Thomas Willingham | 2022/11/4 | |
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System | arXiv preprint arXiv:2210.14702 | Tingfeng Yu James Henderson Alwen Tiu Thomas Haines | 2022/10/26 |
PFMC: a parallel symbolic model checker for security protocol verification | Alex James Alwen Tiu Nisansala Yatapanage | 2022/10/10 | |
An isabelle/hol formalisation of the SPARC instruction set architecture and the TSO memory model | Journal of Automated Reasoning | Zhé Hóu David Sanan Alwen Tiu Yang Liu Koh Chuen Hoa | 2021/4 |
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice | arXiv preprint arXiv:2101.02835 | Claudio Sacerdoti Coen Alwen Tiu | 2021/1/8 |
A permission-dependent type system for secure information flow analysis | Journal of Computer Security | Zhiwu Xu Hongxu Chen Alwen Tiu Yang Liu Kunal Sareen | 2021/1/1 |
A characterisation of open bisimilarity using an intuitionistic modal logic | Logical Methods in Computer Science | Alwen Tiu Ross Horne Ki Yung Ahn | 2021/8/10 |
Display to labeled proofs and back again for tense logics | ACM Transactions on Computational Logic (TOCL) | Agata Ciabattoni Tim S Lyon Revantha Ramanayake Alwen Tiu | 2021/7/22 |
On unlinkability and denial of service attacks resilience of whistleblower platforms | Future Generation Computer Systems | Silivanxay Phetsouvanh Anwitaman Datta Alwen Tiu | 2021/5/1 |
28th EACSL Annual Conference on Computer Science Logic (CSL 2020) | Véronique Cortier Anuj Dawar Artur Jeż Delia Kesner Eduardo Bonelli | 2020 | |
Starting With SOAP: rapid deployment of contract tracing in a pandemic | Ellen Broad Meru Sheel Seth Lazar Dilan Thampapillai Jochen Trumpf | 2020 |