Safe & Verifiable Computing