These pages no longer exist.

If you are looking for information about the Trusted Systems group now based at UNSW, please visit trustworthy.systems!