Sound Computational Interpretation of Formal Encryption with Composed Keys

Peeter Laud, Ricardo Corin

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    65 Downloads (Pure)

    Abstract

    The formal and computational views of cryptography have been related by the seminal work of Abadi and Rogaway. In their work, a formal treatment of encryption that uses atomic keys is justified in the computational world. However, many proposed formal approaches allow the use of composed keys, where any arbitrary expression can be used as encryption key. We consider an extension of the formal model presented by Abadi and Rogaway, in which it is allowed to use composed keys in formal encryption. We then provide a computational interpretation for expressions that allow us to establish the computational soundness of formal encryption with composed keys.
    Original languageEnglish
    Title of host publicationInformation Security and Cryptology - ICISC 2003
    Subtitle of host publication6th International Conference, Seoul, Korea, November 27-28, 2003. Revised Papers
    EditorsJong-In Lim, Dong-Hoo Lee
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages55-66
    Number of pages12
    ISBN (Electronic)978-3-540-24691-6
    ISBN (Print)978-3-540-21376-5
    DOIs
    Publication statusPublished - Nov 2003
    Event6th Annual International Conference on Information Security and Cryptology, ICISC 2003 - Seoul, Korea, Republic of
    Duration: 1 Nov 20031 Nov 2003
    Conference number: 6

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2971
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference6th Annual International Conference on Information Security and Cryptology, ICISC 2003
    Abbreviated titleICISC
    CountryKorea, Republic of
    CitySeoul
    Period1/11/031/11/03

    Keywords

    • SCS-Cybersecurity

    Fingerprint Dive into the research topics of 'Sound Computational Interpretation of Formal Encryption with Composed Keys'. Together they form a unique fingerprint.

    Cite this