Scholar
Alwen Tiu
Google Scholar ID: 92pa9z8AAAAJ
School of Computing, The Australian National University
Logic
proof theory
process calculus
theorem proving
computer security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,095
H-index
31
i10-index
55
Publications
20
Co-authors
43
list available
Publications
4 items
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction
2026
Cited
0
PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
2026
Cited
0
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
Co-authors
13 total
Rajeev Gore
Faculty of Information Technology, Monash University, Australia
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
Yang Liu
Nanyang Technological University
Ross Horne
University of Strathclyde
Ranald Clouston
Lecturer, Australian National University
Shang-Wei LIN
Associate Professor, Singapore Institute of Technology (SIT)
Pascal Fontaine
LORIA, INRIA, Université de Lorraine, Nancy, France
Alberto Momigliano
DI, University of Milan
