Visible to the public Robust Verification Tools for Improved Secure System Evaluation