Additional material

• The best example of how to use RLBox is to see its use in Firefox. The Firefox code search is a great way to do this.

• Working through the simple library example repo is a good way to get a feel for retrofitting a simple application that uses a potentially buggy library is a good next. The solution is available in the solution folder in the same repo.

• Documentation of the core RLBox APIs.

• Short tutorial on using the RLBox APIs. Note that this tutorial uses the old Lucet Wasm compiler.

• The RLBox test suite itself has a number of examples.

• Finally, the original academic paper explaining RLBox and its use in Firefox RLBoxPaper at the USENIX Security 2020 and the accompanying video explanations are a good way to get an overview of RLBox.