Skip to content
@au-ts

Trustworthy Systems

The Trustworthy Systems research group in Australia

Popular repositories Loading

  1. cogent cogent Public

    Cogent Project

    Isabelle 158 26

  2. lionsos lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    C 84 12

  3. libvmm libvmm Public

    An experimental virtual machine monitor for the seL4 microkernel

    C 27 12

  4. sddf sddf Public

    A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

    C 19 14

  5. microkit_tutorial microkit_tutorial Public

    A tutorial for learning the seL4 Microkit

    C 7 8

  6. ipbench ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    C 3 3

Repositories

Showing 10 of 22 repositories
  • lionsos Public

    A secure, fast, and adaptable OS based on the seL4 microkernel

    au-ts/lionsos’s past year of commit activity
    C 84 BSD-2-Clause 12 15 10 Updated Oct 11, 2024
  • sddf Public

    A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

    au-ts/sddf’s past year of commit activity
    C 19 14 19 16 Updated Oct 11, 2024
  • libgdb Public

    Experimental library and infrastructure for using GDB with the seL4 microkernel

    au-ts/libgdb’s past year of commit activity
    C 2 BSD-2-Clause 1 5 0 Updated Oct 10, 2024
  • libvmm Public

    An experimental virtual machine monitor for the seL4 microkernel

    au-ts/libvmm’s past year of commit activity
    C 27 12 18 9 Updated Oct 10, 2024
  • ipbench Public

    A benchmark suite for repeatable and reliable testing of IP networks.

    au-ts/ipbench’s past year of commit activity
    C 3 GPL-2.0 3 14 0 Updated Sep 12, 2024
  • lionsos_docs Public

    Documentation for LionsOS

    au-ts/lionsos_docs’s past year of commit activity
    SCSS 1 2 0 1 Updated Aug 30, 2024
  • libmicrokitco Public
    au-ts/libmicrokitco’s past year of commit activity
    C 1 0 1 0 Updated Aug 26, 2024
  • microkit_tutorial Public

    A tutorial for learning the seL4 Microkit

    au-ts/microkit_tutorial’s past year of commit activity
    C 7 8 2 2 Updated Aug 12, 2024
  • gordian-smt-profiler Public

    A "frontend" independent query profiling tool for Z3, mostly ripped off Verus

    au-ts/gordian-smt-profiler’s past year of commit activity
    Rust 2 0 0 0 Updated Jul 9, 2024
  • gordian-relation-proof Public

    This repository contains the proof that the relation between the microkit state machine is maintained with kernel projection, in SMT.

    au-ts/gordian-relation-proof’s past year of commit activity
    SMT 0 0 0 0 Updated May 19, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…