Alwen Tiu
Scholar

Alwen Tiu

Google Scholar ID: 92pa9z8AAAAJ
School of Computing, The Australian National University
Logicproof theoryprocess calculustheorem provingcomputer security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,095
 
H-index
31
 
i10-index
55
 
Publications
20
 
Co-authors
43
list available
Contact
No contact links provided.
Publications
2 items
A Security Analysis of CheriBSD and Morello Linux
2026
Cited
0
Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
arXiv.org · 2022
Cited
10
Resume (English only)
Co-authors
43 total
Rajeev Gore
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Co-author 2
Co-author 2
Yang Liu
Yang Liu
Nanyang Technological University
Ross Horne
Ross Horne
University of Strathclyde
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Ranald Clouston
Ranald Clouston
Lecturer, Australian National University
Co-author 8
Co-author 8