Toby Murray

Why they're in the Luvo100

Murray’s work investigates whether information can cross boundaries that software is meant to enforce. This advances assurance beyond finding isolated bugs, supplying methods and proofs for reasoning about security behaviour across complex systems.