Toby Murray receives funding from the Australian Department of Defence to support research on how to build software that is provably reliable and secure. On Friday, the world suffered what many have ...