• CSIRO.au
  • Data61
Data61
Data61 projects & tools
Skip to content Skip to search
  • Data61 website
  • Research
    • Analytics
    • Cyber-Physical Systems Research Groups
    • Decision Sciences
    • Engineering & Design
    • Software and Computational Systems
    • Archived
  • Tools
  • Home
    • Cyber-Physical Systems Research Groups
  • CSIRO.au
  • Data61
  • Software and Computational Systems
  • Page 2

#Software and Computational Systems

Provenance

Provenance Management Overview Provenance refers to the chain of successive custody—including sources and operations of resources such as hardware, software, […]

TrustStore

TrustStoreTM We cannot take the things we treasure with us everywhere we go. Sometimes we do not even have room […]

IoT Security

Security and privacy protections are needed to increase the confidence on the wide deployment of Internet of Things (IoT) applications. […]

Encrypted Database Management

Database services in the cloud are attracting more companies to outsource their databases, since in this way the companies do […]

Mu: A Micro-Virtual-Machine for Managed Languages

Mu is a micro-virtual-machine targeted at managed languages and intended as a verification target. The majority of software developers today work […]

CakeML Logo

CakeML

A formally verified, optimising ML compiler, developed in collaboration with Cambridge, Chalmers, and Kent.

Interleaving

Concurrency and Protocol Verification

Formal models of concurrency and distributed systems for the specification, analysis and verification of network protocols and operating systems.

Hourglass

Mixed-Criticality Real-Time Systems

Microkernel mechanisms and execution time models for building complex systems that not only deliver, but deliver on time.

Building Trustworthy Systems

Trustworthy Systems

The Trustworthy Systems project is the overarching project of the Trustworthy Systems Research Group. Its aim is to fundamentally change […]

    < 1 2 3 4 >

At CSIRO, we solve the greatest challenges through innovative science and technology.

  • Connect with us on Facebook
  • Connect with us on Instagram
  • Connect with us on LinkedIn
  • Hear our our Spotify playlists
  • Threads
  • Watch our youtube videos

  • Access to information
  • Accessibility
  • Copyright
  • Legal notice and disclaimer
  • Policy & Guidelines
  • Your privacy

We are committed to child safety and to the implementation of Child Safe principles and procedures.

  • Contact us
  • 1300 363 400

Subscribe to CSIRO updates

  • Subscribe now

CSIRO acknowledges the Traditional Owners of the land, sea and waters, of the area that we live and work on across Australia. We acknowledge their continuing connection to their culture and pay our respects to their Elders past and present. View our vision towards reconciliation.