Trustworthy Systems

A usable system model for time protection

Authors

Varun Sethu

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

This thesis explores how the current system model for time protection on seL4 can be extended to support cross-domain communication. To achieve this, it proposes and evaluates a design for cross-domain notifications and also proposes a design for cross-domain shared memory. Additionally, this thesis argues that a more efficient implementation of cross-domain shared memory is not presently achievable on the evaluation platform. Doing so would require introducing new hardware features or reworking the current time-protection implementation to adopt alternative LLC-partitioning schemes.

BibTeX Entry

  @mastersthesis{Sethu:be,
    address          = {Sydney, Australia},
    author           = {Varun Sethu},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/25/Sethu%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {A Usable System Model for Time Protection},
    type             = {{BE} Thesis},
    year             = {2025}
  }

Download