We are developing software systems with unprecedented security, safety, reliability and efficiency.

The Challenge

The growing need to trust and depend on highly complex and interconnected software systems

Modern societies and economies are heavily dependent on software systems. More and more sensitive data, including about health and finances, is being stored on computer systems.

Failure or misbehaviour of software systems – either through errors or cyber attacks – can have significant consequences: leakage of sensitive information, damage to physical assets or harm or death to people. Such outcomes also undermine public confidence - witness the publicity in even mainstream media of a wireless-access cyber-attack demonstration of a US car ahead of a presentation at Blackhat 2015.

We tackle the challenge of building trustworthy software systems.

Our Response

Security in software systems

To create trustworthy software we must be able to guarantee that it behaves as it was designed to and its execution must not be affected by any failures or attacks to the system.

We're working with our partners on large and complex systems, using our seL4 microkernel as a base component to develop whole systems that can be formally verified.

Do business with us to help your organisation thrive

We partner with small and large companies, government and industry in Australia and around the world.

Contact us

Have a question? Contact us using the form below, or call 1300 363 400 during business hours .

Your contact details

First name must be filled in

Your enquiry*

We'll need to know what you want to contact us about so we can give you an answer.