Efficient Logic Encryption Techniques For Sequential Circuits