1. JSand
2. Apache. 2022. CouchDB. https://docs.couchdb.org/en/stable/. Apache. 2022. CouchDB. https://docs.couchdb.org/en/stable/.
3. ARM. 2018. Domains. https://developer.arm.com/documentation/ddi0406/b/System-Level-Architecture/Virtual-Memory-System-Architecture–VMSA-/Memory-access-control/Domains. ARM. 2018. Domains. https://developer.arm.com/documentation/ddi0406/b/System-Level-Architecture/Virtual-Memory-System-Architecture–VMSA-/Memory-access-control/Domains.
4. Steve Bannister. 2018. Memory Tagging Extension: Enhancing memory safety through architecture. https://community.arm.com/arm-community-blogs/b/architectures-and-processors-blog/posts/enhancing-memory-safety. Steve Bannister. 2018. Memory Tagging Extension: Enhancing memory safety through architecture. https://community.arm.com/arm-community-blogs/b/architectures-and-processors-blog/posts/enhancing-memory-safety.
5. Frédéric Besson , Sandrine Blazy , Alexandre Dang , Thomas Jensen , and Pierre Wilke . 2019 . Compiling Sandboxes: Formally Verified Software Fault Isolation. In European Symposium on Programming (ESOP). 499–524 . Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, and Pierre Wilke. 2019. Compiling Sandboxes: Formally Verified Software Fault Isolation. In European Symposium on Programming (ESOP). 499–524.