A Formal Framework for Gate- Level Information Leakage Using Z3 | IEEE Conference Publication | IEEE Xplore