Towards Symbolic Encryption Schemes

Naveed Ahmed; Christian D. Jensen; Erik Zenner

doi:10.1007/978-3-642-33167-1_32

Towards Symbolic Encryption Schemes

Naveed Ahmed, Christian D. Jensen, Erik Zenner

Offenburg University of Applied Sciences

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

507 Downloads (Pure)

Abstract

Symbolic encryption, in the style of Dolev-Yao models, is ubiquitous in formal security models. In its common use, encryption on a whole message is specified as a single monolithic block. From a cryptographic perspective, however, this may require a resource-intensive cryptographic algorithm, namely an authenticated encryption scheme that is secure under chosen ciphertext attack. Therefore, many reasonable encryption schemes, such as AES in the CBC or CFB mode, are not among the implementation options. In this paper, we report new attacks on CBC and CFB based implementations of the well-known Needham-Schroeder and Denning-Sacco protocols. To avoid such problems, we advocate the use of refined notions of symbolic encryption that have natural correspondence to standard cryptographic encryption schemes.

Original language	English
Title of host publication	Computer Security – ESORICS 2012 : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
Publisher	Springer
Publication date	2012
Pages	557-572
ISBN (Print)	978-3-642-33166-4
ISBN (Electronic)	978-3-642-33167-1
DOIs	https://doi.org/10.1007/978-3-642-33167-1_32
Publication status	Published - 2012
Event	17th European Symposium on Research in Computer Security (ESORICS 2012) - Pisa, Italy Duration: 10 Sept 2012 → 14 Sept 2012 http://www.iit.cnr.it/esorics2012/

Conference

Conference	17th European Symposium on Research in Computer Security (ESORICS 2012)
Country/Territory	Italy
City	Pisa
Period	10/09/2012 → 14/09/2012
Internet address	http://www.iit.cnr.it/esorics2012/

Series	Lecture Notes in Computer Science
Volume	7459
ISSN	0302-9743

Keywords

Encryption
Assumptions
Implementation

Access to Document

10.1007/978-3-642-33167-1_32

2F978 3 642 33167 1 32Final published version, 256 KB

OpenUrl availability

Full text

Cite this

@inproceedings{3bc6af8d836c4bfeae1f9d932c5a8b38,

title = "Towards Symbolic Encryption Schemes",

abstract = "Symbolic encryption, in the style of Dolev-Yao models, is ubiquitous in formal security models. In its common use, encryption on a whole message is specified as a single monolithic block. From a cryptographic perspective, however, this may require a resource-intensive cryptographic algorithm, namely an authenticated encryption scheme that is secure under chosen ciphertext attack. Therefore, many reasonable encryption schemes, such as AES in the CBC or CFB mode, are not among the implementation options. In this paper, we report new attacks on CBC and CFB based implementations of the well-known Needham-Schroeder and Denning-Sacco protocols. To avoid such problems, we advocate the use of refined notions of symbolic encryption that have natural correspondence to standard cryptographic encryption schemes.",

keywords = "Encryption, Assumptions, Implementation",

author = "Naveed Ahmed and Jensen, {Christian D.} and Erik Zenner",

year = "2012",

doi = "10.1007/978-3-642-33167-1_32",

language = "English",

isbn = "978-3-642-33166-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "557--572 ",

booktitle = "Computer Security – ESORICS 2012",

note = "17th European Symposium on Research in Computer Security (ESORICS 2012) ; Conference date: 10-09-2012 Through 14-09-2012",

url = "http://www.iit.cnr.it/esorics2012/",

}

Ahmed, N, Jensen, CD & Zenner, E 2012, Towards Symbolic Encryption Schemes. in Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, Lecture Notes in Computer Science, vol. 7459, pp. 557-572 , 17th European Symposium on Research in Computer Security (ESORICS 2012), Pisa, Italy, 10/09/2012. https://doi.org/10.1007/978-3-642-33167-1_32

Towards Symbolic Encryption Schemes. / Ahmed, Naveed; Jensen, Christian D.; Zenner, Erik.
Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 557-572 (Lecture Notes in Computer Science, Vol. 7459).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Towards Symbolic Encryption Schemes

AU - Ahmed, Naveed

AU - Jensen, Christian D.

AU - Zenner, Erik

PY - 2012

Y1 - 2012

N2 - Symbolic encryption, in the style of Dolev-Yao models, is ubiquitous in formal security models. In its common use, encryption on a whole message is specified as a single monolithic block. From a cryptographic perspective, however, this may require a resource-intensive cryptographic algorithm, namely an authenticated encryption scheme that is secure under chosen ciphertext attack. Therefore, many reasonable encryption schemes, such as AES in the CBC or CFB mode, are not among the implementation options. In this paper, we report new attacks on CBC and CFB based implementations of the well-known Needham-Schroeder and Denning-Sacco protocols. To avoid such problems, we advocate the use of refined notions of symbolic encryption that have natural correspondence to standard cryptographic encryption schemes.

AB - Symbolic encryption, in the style of Dolev-Yao models, is ubiquitous in formal security models. In its common use, encryption on a whole message is specified as a single monolithic block. From a cryptographic perspective, however, this may require a resource-intensive cryptographic algorithm, namely an authenticated encryption scheme that is secure under chosen ciphertext attack. Therefore, many reasonable encryption schemes, such as AES in the CBC or CFB mode, are not among the implementation options. In this paper, we report new attacks on CBC and CFB based implementations of the well-known Needham-Schroeder and Denning-Sacco protocols. To avoid such problems, we advocate the use of refined notions of symbolic encryption that have natural correspondence to standard cryptographic encryption schemes.

KW - Encryption

KW - Assumptions

KW - Implementation

U2 - 10.1007/978-3-642-33167-1_32

DO - 10.1007/978-3-642-33167-1_32

M3 - Article in proceedings

SN - 978-3-642-33166-4

T3 - Lecture Notes in Computer Science

SP - 557

EP - 572

BT - Computer Security – ESORICS 2012

PB - Springer

T2 - 17th European Symposium on Research in Computer Security (ESORICS 2012)

Y2 - 10 September 2012 through 14 September 2012

ER -

Towards Symbolic Encryption Schemes

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this