Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"efficient tagged memory"”.

  1. High-performance memory safety - Optimizing the CHERI capability machine

    … extension for security, supporting fine-grained memory protection through hardware-enforced capabilities. The original CHERI model uses 256-bit capabilities to carry information required for various checks helping to enforce memory safety, leading to increased memory bandwidth requirements and …

    cambridge Repository record for High-performance memory safety - Optimizing the CHERI capability machine (opens in a new tab)