Sharemind: programmable secure computations with practical applications