Practical Secrecy-Preserving , Verifiably Correct and Trustworthy