## Homepages 🌐

- http://users.cecs.anu.edu.au/~tiu/

## E-Mails 📧

- gs.ude.utn @uiTA

## Entries

### 2016

##### Separata: Isabelle tactics for Separation Algebra

by Zhe Hou 📧, David Sanan 📧, Alwen Tiu 📧, Rajeev Gore 📧 and Ranald Clouston 📧
Nov 16

##### A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor

by Zhe Hou 📧, David Sanan 📧, Alwen Tiu 📧 and Yang Liu 📧
Oct 19

### 2005

##### Formalization of a Generalized Protocol for Clock Synchronization

by Alwen Tiu 🌐
Jun 24