Personal profile
Biography
Research interests:
My main research interests span theoretical as well as practical aspects of computer science; these include formal methods, computational logic, automated theorem proving and computer security. More specifically, I am interested in modelling aspects of computational systems (such as parts of operating systems, communication protocols, simple authentication devices, etc) as mathematical theories, and developing tools and techniques to prove their correctness or to find potential flaws.
Bio:
I obtained my PhD degree from the Pennsylvania State University in 2004. I spent about a year as a visiting student at Ecole Polytechnique (France) during my PhD. I did a one-year postdoc at LORIA/INRIA Lorraine (2004 - 2005), prior to joining the ANU in 2006.
Duties:
I am an Associate Professor in the School of Computing.
Research student supervision
- Registered to supervise
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
A Security Analysis of CheriBSD and Morello Linux
Guzairov, D., Potanin, A., Kell, S. & Tiu, A., 2026, arXiv, 30 p. (CoRR).Research output: Working paper › Preprint
-
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Lyon, T. S., Shillito, I. & Tiu, A., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-23 23 p. 41. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access1 Citation (Scopus) -
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
Yu, T., Henderson, J., Tiu, A. & Haines, T., 2024, Proceedings of the 33rd USENIX Security Symposium. USENIX Association, p. 5449-5466 18 p. (Proceedings of the 33rd USENIX Security Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
5 Citations (Scopus) -
Dagster: Parallel Structured Search
Burgess, M. A., Gretton, C., Milthorpe, J., Croak, L., Willingham, T. & Tiu, A., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 16404-16406 3 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
-
Dagster: Parallel Structured Search with Case Studies
Burgess, M. A., Gretton, C., Milthorpe, J., Croak, L., Willingham, T. & Tiu, A., 2022, PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Proceedings. Khanna, S., Cao, J., Bai, Q. & Xu, G. (eds.). 1 ed. Cham, Switzerland: Springer Science+Business Media B.V., p. 75-89 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13629 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
3 Citations (Scopus)
Projects
- 4 Finished
-
Verifiable Application Framework for Blockchains
Lin, S.-W. (PI), Tiu, A. (PI), Liu, Y. (CoI), Sanan, D. (CoI) & Sun, J. (CoI)
1/11/18 → 1/10/21
Project: Research
-
Cybersecurity Skills and Technology Accelerator - Fifth Domain/Austcyber
Tiu, A. (PI), Goode, S. (CoI) & Sankaranarayana, R. (CoI)
30/09/18 → 30/06/19
Project: Research
-
Experiment in the application of FMME techniques for scaling up assurance efforts by enhancing popular proof tools via the use of theory morphisms between sessions
Tiu, A. (PI), Dawson, J. (CoI), Mahony, B. (CoI) & McCarthy, J. (CoI)
23/04/18 → 31/10/18
Project: Research
-
Proof Theoretical Methods for Reasoning about Process Equivalence
Tiu, A. (PI)
1/01/08 → 31/12/11
Project: Research