(Organized in the context of the hiring process for the new cybersecurity professorships.)
In the last 40 years cryptography has matured from an art of secret writing to a science where virtually anything that one wishes to do can be done securely. An important driver of this evolution is the development of strong foundations on which the design and the analysis of cryptographic algorithms is based. But foundations not only play a major role in offering a formal framework for a mathematical rigorous security analysis; they also can introduce new concepts and ideas for (i) simplifying the security analysis of complex systems, (ii) building real-world systems that achieve stronger security and (iii) enabling entirely novel applications.
In this talk, I will give an overview of my work on building practice-oriented foundations of cryptography. Examples will include a simplified security analysis of side-channel countermeasures, new concepts for defeating hardware trojans in integrated circuits, and a “greener alternative” for the Proof of Work concept used by cryptocurrencies such as Bitcoin.