uberSpark is a system architecture and programming framework for modular provable security on commodity system software stacks.