We are primarily interested in developing a concrete mathematical framework for bug-free algorithm design in security as well as in studying security protocols from communication, coding and information theoretic view points. We utilize tools from these well founded areas to design and analyze security protocols as well as identify bugs that may go undetected otherwise.