Theoretical Foundations Of Trustworthy Machine Learning