Provably Trustworthy And Secure Hardware Design With Low Overhead