Enhancing secure computations via input certification