The goal of this thesis is to implement full disk encryption in the Redox operating system. The student should study existing implementations of this technology (at minimum the open-source Linux implementation in dm-crypt) and proceed with the implementation on these existing designs. Redox OS is a simple prototype operating system written in the memory-safe programming language Rust. Disk encryption is commonly supported in contemporary operating systems, but is currently missing from Redox. This means the student should study the design of the existing block and filesystem layers in Redox and suggest how disk encryption could fit into this design. This should take the design of buffers and disk caching into account. The implementation would then consist of two parts: first, create a new component in the block layer, which will be responsible for the actual on-the-fly encryption and decryption of data. The other part would be the support code for reading volume metadata (if any), obtaining the passphrase from the user, deriving the key and loading it into the encryption component.