Verified IO

Building secure systems