Theory, Synthesis, and Application of Adiabatic and Reversible Logic Circuits For Security Applications