A “proof-reading” of Some Issues in Cryptography

  • Ivan Damgård
Conference paper

DOI: 10.1007/978-3-540-73420-8_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4596)
Cite this paper as:
Damgård I. (2007) A “proof-reading” of Some Issues in Cryptography. In: Arge L., Cachin C., Jurdziński T., Tarlecki A. (eds) Automata, Languages and Programming. ICALP 2007. Lecture Notes in Computer Science, vol 4596. Springer, Berlin, Heidelberg


In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over the years. These issues are related to fundamental concepts in the field, e.g., to what extent we can prove that a system is secure and what theoretic results on security mean for practical applications. We argue that several such issues are often overlooked or misunderstood, and that it may be very productive if both theoreticians and practitioners think more consciously about these issues and act accordingly.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Ivan Damgård
    • 1
  1. 1.Department of Computer Science, BRICS, University of Aarhus 

Personalised recommendations