Defense-in-Depth Runtime Safety in Move

Victor Gao, Wolfgang Grieskamp, Vineeth Kashyap +5

Move is a smart-contract language used to execute transactions on the Aptos blockchain. Move programs execute in a sandboxed VM as typed bytecode. The VM statically verifies founda…