Research output per year
Research output per year
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
Dive into the research topics where Alwen Tiu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Find out about recent ANU collaborations across the world by selecting a location on the map OR
-
A CHARACTERISATION OF OPEN BISIMILARITY USING AN INTUITIONISTIC MODAL LOGIC
Ahn, K. Y., Horne, R. & Tiu, A., 2021, In: Logical Methods in Computer Science. 17, 3Research output: Contribution to journal › Article › peer-review
Open Access3 Citations (Scopus) -
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model
Hóu, Z., Sanan, D., Tiu, A., Liu, Y., Hoa, K. C. & Dong, J. S., Apr 2021, In: Journal of Automated Reasoning. 65, 4, p. 569-598 30 p.Research output: Contribution to journal › Article › peer-review
Open Access6 Citations (Scopus) -
Display to Labeled Proofs and Back Again for Tense Logics
Ciabattoni, A., Lyon, T. S., Ramanayake, R. & Tiu, A., Jun 2021, In: ACM Transactions on Computational Logic. 22, 3, 3460492.Research output: Contribution to journal › Article › peer-review
Open Access4 Citations (Scopus) -
On unlinkability and denial of service attacks resilience of whistleblower platforms
Phetsouvanh, S., Datta, A. & Tiu, A., May 2021, In: Future Generation Computer Systems. 118, p. 438-452 15 p.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus) -
Trace-Length Independent Runtime Monitoring of Quantitative Policies
Du, X., Tiu, A., Cheng, K. & Liu, Y., 1 May 2021, In: IEEE Transactions on Dependable and Secure Computing. 18, 3, p. 1489-1510 22 p., 8725514.Research output: Contribution to journal › Article › peer-review
3 Citations (Scopus)
Projects
- 4 Finished
-
Verifiable Application Framework for Blockchains
Lin, S., Tiu, A., Liu, Y., Sanan, D. & Sun, J.
1/11/18 → 1/10/21
Project: Research
-
Cybersecurity Skills and Technology Accelerator - Fifth Domain/Austcyber
Tiu, A., Goode, S. & Sankaranarayana, R.
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., Dawson, J., Mahony, B. & McCarthy, J.
23/04/18 → 31/10/18
Project: Research
-
Proof Theoretical Methods for Reasoning about Process Equivalence
1/01/08 → 31/12/11
Project: Research