How can we make future AI systems highly robust, so that they do what we want without malfunctioning or getting hacked?

AI systems should be safe and secure throughout their operational lifetime, and verifiably so where applicable and feasible.