Pr. Yvo Desmedt

Florida State University

Title: Towards a formal definition of cryptography


Today the research on cryptography is focusing on a list of security goals (i) we inherited from history, (ii) which are a consequence of moving from a mechanical society to an information technological one, and (iii) a few new problems. However, when technology changes, these goals will have to be updated. Some security goals have been proven unachievable under certain circumstances and others can only be achieved under unproven assumptions.

If we contrast cryptography with other sciences, we see that a global theory or definition often promotes further research, allows to understand more general issues, which may imply a better understanding of the field. We argue that previous attempts to present such a general theory in cryptography have failed or need to be updated. In many scientific disciplines models are often updated and if necessary changed dramatically. We note that in cryptography models have often evolved, but few researchers question whether we are on the right track. We argue that the models currently used have been outdated for several years.

We realize that attempting to give a unifying theory for an area that has studied so many different goals will take some time and that a first attempt will overlook several aspects that will need to be studied further on.