Modular Provable Security on Commodity System and Application Software Stacks - View it on GitHub