VeriSafe 2.0