Binary decision diagram to design balanced secure logic styles | IEEE Conference Publication | IEEE Xplore