Mathematical proof

Using maths to prove computer security thumbnail image

Sciences & Technology

Under the Microscope

Using maths to prove computer security

Eureka prize winner Associate Professor Toby Murray thought maths was boring, but he now relies on it to secure critical systems like those of Defence against hackers

Sciences & Technology

Prove it – with maths

Finding a mathematical proof is a long, difficult process – involving trial-and-error, grunt work and the occasional eureka moment

Subscribe for your weekly email digest

By subscribing, you agree to our

Acknowledgement of country

We acknowledge Aboriginal and Torres Strait Islander people as the Traditional Owners of the unceded lands on which we work, learn and live. We pay respect to Elders past, present and future, and acknowledge the importance of Indigenous knowledge in the Academy.

Read about our Indigenous priorities

Phone: 13 MELB (13 6352) | International: +61 3 9035 5511The University of Melbourne ABN: 84 002 705 224CRICOS Provider Code: 00116K (visa information)