Sydney Uni blockchain project aims to deliver new programming language Automated smart contract checker.
Security probe into NSW iVote system finally delivers findings Adequate, but could be more comprehensive.