Analysis and Recommendations for MAC and Key Lengths in Delayed

Total Page:16

File Type:pdf, Size:1020Kb

Analysis and Recommendations for MAC and Key Lengths in Delayed I. INTRODUCTION The threat of spoofing GNSS (Global Navigation Satel- lite Systems) is more than a decade old, and cases of GNSS Analysis and spoofing have been observed with increasing frequency. Possible spoofing countermeasures implemented on the Recommendations for MAC receiver’s end include signal power verification [1], [2], consistency checks, and/or combination of GNSS with other and Key Lengths in Delayed navigation sources (e.g., inertial navigation systems [3]). An alternative to this approach is to add GNSS authentication Disclosure GNSS already at the source by adding cryptographic features to GNSS signals. Galileo, the European GNSS, is the first Authentication Protocols such system to include cryptographic authentication [4], and other systems have already shared studies or plans to IGNACIO FERNÁNDEZ-HERNÁNDEZ follow suit [5], [6]. European Commission, Bruxelles, Belgium However, adding cryptographic authentication to GNSS is not a trivial task as such systems are subject to technical TOMER ASHUR limitations. They are one-way broadcast systems, thus they imec-COSIC, KU Leuven, Leuven, Belgium cannot configure their signal to specific users, which makes TU Eindhoven, Eindhoven, The Netherlands it hard for the receiver to determine that the signal was VINCENT RIJMEN received from an authoritative source. Further compounding imec-COSIC, KU Leuven, Leuven, Belgium the problem is that their signals are received at a very weak power of around -155 to -160 dBW on Earth, which restricts the available data bandwidth, as receivers must accumulate enough energy to decode each bit. For example, the popular Data and signal authentication schemes are being proposed to address Global Navigation Satellite Systems’ (GNSS) vulnerability to GPS L1 C/A transmits every bit over a period of 20 ms, spoofing. Due to the low power of their signals, the bandwidth available resulting in a throughput of 50-bit/s; for Galileo E1 these for authentication in GNSS is scarce. Since delayed-disclosure proto- numbers are respectively 4 ms and 250-symbols/s, encoding cols, e.g., TESLA (timed-efficient stream loss-tolerant authentication), bits with a ½ coding rate. are efficient in terms of bandwidth and robust to signal impairments, The academic literature contains a plenitude of they have been proposed and implemented by GNSS. The length of message authentication codes (MACs) and cryptographic keys are two proposals for radionavigation authentication protocols crucial aspects of the protocol design as they have an impact on the [7]–[12]. The standard approach is to adopt and adapt utilized bandwidth, and therefore on the protocol performance. We cryptographic protocols from other domains, e.g., network analyze both aspects in detail for GNSS-TESLA and present recom- communications. However, this process may require mendations for efficient yet safe MAC and key lengths. We further specific tailoring before it can efficiently meet the special complement this analysis by proposing possible authentication success and failure policies and quantify the reduction of the attack surface constraints of GNSS. resulting from employing them. The analysis shows that in some cases This article focuses on delayed-disclosure protocols. it is safe to use MAC and key sizes that are smaller than those proposed These are protocols based on the dissemination of an au- in best-practice guidelines. While some of our considerations are thentication tag [sometimes also called “code”; or more general to delayed-disclosure lightweight protocols for data and signal specifically MAC (Message Authentication Code) when authentication, we particularize them for GNSS-TESLA protocols. the authentication tag is the output of a MAC function], stored by the receiver, and authenticated at a later time Manuscript received May 26, 2020; revised October 14, 2020; released following a disclosure of a certain cryptographic datum for publication December 21, 2020. Date of publication January 26, 2021; such as a yet-unknown symmetric-key. The motivation for date of current version June 9, 2021. this is twofold. First, such protocols can be optimized DOI. No. 10.1109/TAES.2021.3053129 for bandwidth, motivating numerous proposals such as Refereeing of this contribution was handled by J. Blanch. Galileo Open Service Navigation Message Authentication (OSNMA) [13]; GPS’s experimental signal authentication The work of Tomer Ashur was supported by an FWO post-doctoral scheme, CHIMERA [5], and SBAS authentication [14]– fellowship under Grant Number 12ZH420N. [16]. Second, while the delayed disclosure requirement is Authors’ addresses: Ignacio Fernández-Hernández is with European only one option for data authentication (the other option be- Commission, Bruxelles 1040, Belgium, E-mail: (Ignacio.fernandez- ing digital signatures), it may be a necessary component for [email protected]); Tomer Ashur is with TU Eindhvoen, Eindhoven 5612, The Netherlands, E-mail: ([email protected]); Vin- spreading code authentication [17]. This makes our analysis cent Rijmen is with KU Leuven, Leuven 3000, Belgium, E- applicable to code-level authentication schemes for GNSS mail: ([email protected]). (Corresponding author: Ignacio in which the authentication code watermarks the satellite Fernández-Hernández.) spreading code. Among delayed-disclosure protocols, we focus on lightweight protocols, and in particular the TESLA This work is licensed under a Creative Commons Attribution 4.0 License. (timed-efficient stream loss-tolerant authentication) proto- For more information, see https://creativecommons.org/licenses/by/4.0/ col, standardized in [18]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS VOL. 57, NO. 3 JUNE 2021 1827 After this introduction, we provide a short overview of B. Primitives and Generic Security TESLA adapted for GNSS data authentication, hereinafter MAC functions are a family of functions, parameterized referred to as GNSS-TESLA. We then propose a framework by a symmetric key, such that each function in the family for analyzing the probability of MAC forgery attacks. Two performs a unique mapping from an arbitrary-length input user profiles are considered: safety-critical and standard; to a fixed-length output, of S bits in our case. In the sequel, and we derive the probability of a successful forgery attack we refer to this output as the MAC, and to its generating against each of them respective to our proposals for suc- function as the MAC function. An attack against the MAC cessful and failed authentication policies, and respective to function (resp., the MAC) is any method to distinguish it different MAC sizes. We then particularize the discussion from a random mapping (resp., from a truly S-bit random to delayed-disclosure schemes using hash chains for key bitstring). MAC functions are a well-understood object and dissemination. This key dissemination mechanism is the some designs have been shown to withstand all forms of engine underlying the TESLA protocol. We describe the known cryptanalysis despite many years of scrutiny. In adversarial model and possible attack vectors and derive symmetric-key cryptography this is the highest form of attack complexities, which we use to estimate attack costs confidence as symmetric-key algorithms are normally not and recommend safe key sizes and cryptoperiods. We con- reducible to hard mathematical problems as in the case clude the article with a discussion on how to interpret our of public-key cryptography. Specifically, HMAC-SHA-256 recommendations. and CMAC-AES-256, proposed for Galileo OSNMA [22], have been determined to satisfy the confidence threshold II. PRELIMINARIES required by standardization bodies and were subsequently A. Overview of TESLA Delayed-Disclosure Authentica- included in their portfolios [23]–[25]. tion Protocols for GNSS The same discussion, mutatis mutandis, applies to hash functions, which can be viewed as a degenerate MAC The TESLA scheme is a delayed-disclosure authentica- function whose key was fixed to a publicly known value.1 tion protocol for continuous data broadcasting presented in A more detailed framework for the security objectives and [19]. Several references detail TESLA protocol implemen- basic attacks of one-way functions, including keyed- and tations applied to GNSS, such as [20] and [21]. The idea unkeyed-hash functions, can be found in [26]. behind this protocol is to use a one-way function (e.g., a We note that GNSS does not introduce any particular- hash function) to create a chain of authentication keys; this ities in that respect and proceed under the assumption that is called a keychain. The last key of this chain is then released choosing a secure primitive (MAC or hash function) is a and authenticated off-channel. The last bootstrapping step, closed problem: a function included in the portfolio of a i.e., how to authenticate the last key in the chain, is outside respectable standardization body would suffice, security- the scope of this article. In each step of the protocol, a wise, and efficiency can now be the primary driver for the unit of data is authenticated by means of a cryptographic actual choice within the portfolio. We can therefore proceed MAC function using a previously disclosed key in the chain. to analyze the two remaining factors: the MAC function’s The key is disclosed after a delay period and its validity is output size and the key length. verified by locally re-evaluating the one-way function with respect to this key and comparing its output to the last known valid key. Once the key is accepted as valid, previously C. Adversarial Model and Attack Objectives received data authenticated using this key, can be verified. In the context of GNSS data authentication, the goal The receiver stores the received data stream D and its of an adversary is to trick the user into accepting spoofed corresponding MAC M, and stores them awaiting the arrival data, i.e., data that was not originated from an authoritative of the delayed-disclosed key K. Upon the arrival of this key, source. This can be done by attacking the output directly the receiver computes M’ using D and K, and compares this or by means of a key recovery; each of these is said to with the broadcast M.
Recommended publications
  • The Design of Rijndael: AES - the Advanced Encryption Standard/Joan Daemen, Vincent Rijmen
    Joan Daernen · Vincent Rijrnen Theof Design Rijndael AES - The Advanced Encryption Standard With 48 Figures and 17 Tables Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Springer TnL-1Jn Joan Daemen Foreword Proton World International (PWI) Zweefvliegtuigstraat 10 1130 Brussels, Belgium Vincent Rijmen Cryptomathic NV Lei Sa 3000 Leuven, Belgium Rijndael was the surprise winner of the contest for the new Advanced En­ cryption Standard (AES) for the United States. This contest was organized and run by the National Institute for Standards and Technology (NIST) be­ ginning in January 1997; Rij ndael was announced as the winner in October 2000. It was the "surprise winner" because many observers (and even some participants) expressed scepticism that the U.S. government would adopt as Library of Congress Cataloging-in-Publication Data an encryption standard any algorithm that was not designed by U.S. citizens. Daemen, Joan, 1965- Yet NIST ran an open, international, selection process that should serve The design of Rijndael: AES - The Advanced Encryption Standard/Joan Daemen, Vincent Rijmen. as model for other standards organizations. For example, NIST held their p.cm. Includes bibliographical references and index. 1999 AES meeting in Rome, Italy. The five finalist algorithms were designed ISBN 3540425802 (alk. paper) . .. by teams from all over the world. 1. Computer security - Passwords. 2. Data encryption (Computer sCIence) I. RIJmen, In the end, the elegance, efficiency, security, and principled design of Vincent, 1970- II. Title Rijndael won the day for its two Belgian designers, Joan Daemen and Vincent QA76.9.A25 D32 2001 Rijmen, over the competing finalist designs from RSA, IBl\!I, Counterpane 2001049851 005.8-dc21 Systems, and an English/Israeli/Danish team.
    [Show full text]
  • A Quantitative Study of Advanced Encryption Standard Performance
    United States Military Academy USMA Digital Commons West Point ETD 12-2018 A Quantitative Study of Advanced Encryption Standard Performance as it Relates to Cryptographic Attack Feasibility Daniel Hawthorne United States Military Academy, [email protected] Follow this and additional works at: https://digitalcommons.usmalibrary.org/faculty_etd Part of the Information Security Commons Recommended Citation Hawthorne, Daniel, "A Quantitative Study of Advanced Encryption Standard Performance as it Relates to Cryptographic Attack Feasibility" (2018). West Point ETD. 9. https://digitalcommons.usmalibrary.org/faculty_etd/9 This Doctoral Dissertation is brought to you for free and open access by USMA Digital Commons. It has been accepted for inclusion in West Point ETD by an authorized administrator of USMA Digital Commons. For more information, please contact [email protected]. A QUANTITATIVE STUDY OF ADVANCED ENCRYPTION STANDARD PERFORMANCE AS IT RELATES TO CRYPTOGRAPHIC ATTACK FEASIBILITY A Dissertation Presented in Partial Fulfillment of the Requirements for the Degree of Doctor of Computer Science By Daniel Stephen Hawthorne Colorado Technical University December, 2018 Committee Dr. Richard Livingood, Ph.D., Chair Dr. Kelly Hughes, DCS, Committee Member Dr. James O. Webb, Ph.D., Committee Member December 17, 2018 © Daniel Stephen Hawthorne, 2018 1 Abstract The advanced encryption standard (AES) is the premier symmetric key cryptosystem in use today. Given its prevalence, the security provided by AES is of utmost importance. Technology is advancing at an incredible rate, in both capability and popularity, much faster than its rate of advancement in the late 1990s when AES was selected as the replacement standard for DES. Although the literature surrounding AES is robust, most studies fall into either theoretical or practical yet infeasible.
    [Show full text]
  • A Low-Latency Block Cipher for Pervasive Computing Applications Extended Abstract?
    PRINCE { A Low-latency Block Cipher for Pervasive Computing Applications Extended Abstract? Julia Borghoff1??, Anne Canteaut1;2???, Tim G¨uneysu3, Elif Bilge Kavun3, Miroslav Knezevic4, Lars R. Knudsen1, Gregor Leander1y, Ventzislav Nikov4, Christof Paar3, Christian Rechberger1, Peter Rombouts4, Søren S. Thomsen1, and Tolga Yal¸cın3 1 Technical University of Denmark 2 INRIA, Paris-Rocquencourt, France 3 Ruhr-University Bochum, Germany 4 NXP Semiconductors, Leuven, Belgium Abstract. This paper presents a block cipher that is optimized with respect to latency when implemented in hardware. Such ciphers are de- sirable for many future pervasive applications with real-time security needs. Our cipher, named PRINCE, allows encryption of data within one clock cycle with a very competitive chip area compared to known solutions. The fully unrolled fashion in which such algorithms need to be implemented calls for innovative design choices. The number of rounds must be moderate and rounds must have short delays in hardware. At the same time, the traditional need that a cipher has to be iterative with very similar round functions disappears, an observation that increases the design space for the algorithm. An important further requirement is that realizing decryption and encryption results in minimum additional costs. PRINCE is designed in such a way that the overhead for decryp- tion on top of encryption is negligible. More precisely for our cipher it holds that decryption for one key corresponds to encryption with a re- lated key. This property we refer to as α-reflection is of independent interest and we prove its soundness against generic attacks. 1 Introduction The area of lightweight cryptography, i.e., ciphers with particularly low imple- mentation costs, has drawn considerable attention over the last years.
    [Show full text]
  • Development of the Advanced Encryption Standard
    Volume 126, Article No. 126024 (2021) https://doi.org/10.6028/jres.126.024 Journal of Research of the National Institute of Standards and Technology Development of the Advanced Encryption Standard Miles E. Smid Formerly: Computer Security Division, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA [email protected] Strong cryptographic algorithms are essential for the protection of stored and transmitted data throughout the world. This publication discusses the development of Federal Information Processing Standards Publication (FIPS) 197, which specifies a cryptographic algorithm known as the Advanced Encryption Standard (AES). The AES was the result of a cooperative multiyear effort involving the U.S. government, industry, and the academic community. Several difficult problems that had to be resolved during the standard’s development are discussed, and the eventual solutions are presented. The author writes from his viewpoint as former leader of the Security Technology Group and later as acting director of the Computer Security Division at the National Institute of Standards and Technology, where he was responsible for the AES development. Key words: Advanced Encryption Standard (AES); consensus process; cryptography; Data Encryption Standard (DES); security requirements, SKIPJACK. Accepted: June 18, 2021 Published: August 16, 2021; Current Version: August 23, 2021 This article was sponsored by James Foti, Computer Security Division, Information Technology Laboratory, National Institute of Standards and Technology (NIST). The views expressed represent those of the author and not necessarily those of NIST. https://doi.org/10.6028/jres.126.024 1. Introduction In the late 1990s, the National Institute of Standards and Technology (NIST) was about to decide if it was going to specify a new cryptographic algorithm standard for the protection of U.S.
    [Show full text]
  • In How Many Ways Can You Write Rijndael?
    In How Many Ways Can You Write Rijndael? Elad Barkan and Eli Biham Computer Science Department, Technion – Israel Institute of Technology, Haifa 32000, Israel, {barkan,biham}@cs.technion.ac.il, http://www.cs.technion.ac.il/˜biham/, http://tx.technion.ac.il/˜barkan/ Abstract. In this paper we ask the question what happens if we re- place all the constants in Rijndael, including the replacement of the ir- reducible polynomial, the coefficients of the MixColumn operation, the affine transformation in the S box, etc. We show that such replacements can create new dual ciphers, which are equivalent to the original in all aspects. We present several such dual ciphers of Rijndael, such as the square of Rijndael, and dual ciphers with the irreducible polynomial re- placed by primitive polynomials. We also describe another family of dual ciphers consisting of the logarithms of Rijndael. We then discuss self-dual ciphers, and extend our results to other ciphers. 1 Introduction Recently, the cipher Rijndael [8] was selected as the Advanced Encryption Stan- dard (AES) [17]. This cipher operates over the algebraic Galois field GF (28). The motivation for this is computational efficiency, as GF (28) elements can be rep- resented by bytes, which can be very efficiently processed by modern computers, unlike bit-level operations that are usually more expensive in computer power. The drawback is that the algebraic structure inherited by the GF (28) operations may be susceptible to algebraic relations, such as the relations in [9,19]. Alge- braic structures may be used to develop cryptographic attacks that exploit the algebraic weakness of the cipher.
    [Show full text]
  • Looking at the NIST Lightweight Candidates from a Masking Point-Of-View
    Looking at the NIST Lightweight Candidates from a Masking Point-of-View Lauren De Meyer imec - COSIC, KU Leuven, Belgium [email protected] Abstract. Cryptographic primitives have been designed to be secure against mathe- matical attacks in a black-box model. Such primitives can be implemented in a way that they are also secure against physical attacks, in a grey-box model. One of the most popular techniques for this purpose is masking. The increased security always comes with a high price tag in terms of implementation cost. In this work, we look at how the traditional design principles of symmetric primitives can be at odds with the optimization of the implementations and how they can evolve to be more suitable for embedded systems. In particular, we take a comparative look at the round 2 candidates of the NIST lightweight competition and their implementation properties in the world of masking. Keywords: DPA · Masking · NIST · lightweight · competition · side-channel · symmetric · S-box 1 Introduction In the Internet of Things, cryptographic calculations are increasingly deployed in highly constrained environments. As a result, the National Institute of Standards and Technology (NIST) has initiated a standardization effort for lightweight cryptography.1 Apart from security against mathematical attacks (i.e. cryptanalysis), cryptographic implementations nowadays are required to provide security against physical attacks such as side-channel analysis (SCA) as well. Especially lightweight devices are likely to be among the targets that an adversary may have physical access to. As a result, NIST considers the ability to provide side-channel resistance at low cost an important evaluation criterion.
    [Show full text]
  • PDF Hosted at the Radboud Repository of the Radboud University Nijmegen
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Radboud Repository PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a publisher's version. For additional information about this publication click this link. http://hdl.handle.net/2066/181653 Please be advised that this information was generated on 2018-04-11 and may be subject to change. Shorter Linear Straight-Line Programs for MDS Matrices Yet another XOR Count Paper Thorsten Kranz1, Gregor Leander1, Ko Stoffelen2, Friedrich Wiemer1 1 Horst Görtz Institute for IT Security, Ruhr-Universität Bochum, Germany {thorsten.kranz,gregor.leander,friedrich.wiemer}@rub.de 2 Digital Security Group, Radboud University, Nijmegen, The Netherlands [email protected] Abstract. Recently a lot of attention is paid to the search for efficiently implementable MDS matrices for lightweight symmetric primitives. Most previous work concentrated on locally optimizing the multiplication with single matrix elements. Separate from this line of work, several heuristics were developed to find shortest linear straight- line programs. Solving this problem actually corresponds to globally optimizing multiplications by matrices. In this work we combine those, so far largely independent lines of work. As a result, we achieve implementations of known, locally optimized, and new MDS matrices that significantly outperform all implementations from the literature. Interestingly, almost all previous locally optimized constructions behave very similar with respect to the globally optimized implementation. As a side effect, our work reveals the so far best implementation of the Aes Mix- Columns operation with respect to the number of XOR operations needed.
    [Show full text]
  • The Whirlpool Secure Hash Function
    Cryptologia, 30:55–67, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0161-1194 print DOI: 10.1080/01611190500380090 The Whirlpool Secure Hash Function WILLIAM STALLINGS Abstract In this paper, we describe Whirlpool, which is a block-cipher-based secure hash function. Whirlpool produces a hash code of 512 bits for an input message of maximum length less than 2256 bits. The underlying block cipher, based on the Advanced Encryption Standard (AES), takes a 512-bit key and oper- ates on 512-bit blocks of plaintext. Whirlpool has been endorsed by NESSIE (New European Schemes for Signatures, Integrity, and Encryption), which is a European Union-sponsored effort to put forward a portfolio of strong crypto- graphic primitives of various types. Keywords advanced encryption standard, block cipher, hash function, sym- metric cipher, Whirlpool Introduction In this paper, we examine the hash function Whirlpool [1]. Whirlpool was developed by Vincent Rijmen, a Belgian who is co-inventor of Rijndael, adopted as the Advanced Encryption Standard (AES); and by Paulo Barreto, a Brazilian crypto- grapher. Whirlpool is one of only two hash functions endorsed by NESSIE (New European Schemes for Signatures, Integrity, and Encryption) [13].1 The NESSIE project is a European Union-sponsored effort to put forward a portfolio of strong cryptographic primitives of various types, including block ciphers, symmetric ciphers, hash functions, and message authentication codes. Background An essential element of most digital signature and message authentication schemes is a hash function. A hash function accepts a variable-size message M as input and pro- duces a fixed-size hash code HðMÞ, sometimes called a message digest, as output.
    [Show full text]
  • Advanced Encryption Standard AES Is a Block Cipher That Comes from The
    Advanced Encryption Standard AES is a block cipher that comes from the cipher Rijndael invented by Joan Daemen and Vincent Rijmen. It won the AES contest in 2000. It is a block cipher. The block length and key length for Rijndael can be chosen inde- pendently to be 128, 192 or 256 bits. AES specifies that the block size is 128 bits. It has 10, 12 or 14 rounds, depending on the key length. The rounds do not have a Feistel structure. It was designed to be simple, to be resistant against all known attacks and to have fast and compact code on many platforms. 1 Rijndael was based on an older cipher called Square. The was one known attack on Square, and the designers of Rijndael fixed it in Rijn- dael. The design specifications of Rijndael are pub- lic. In 2009, the first known attack on AES was published. A related-key attack takes 2119 steps to break 256-bit AES and 2176 steps to break 192-bit AES. This attack does not work on 128-bit AES, whose fastest known attack is brute force and takes 2128 steps. None of these attacks is feasible. There are attacks on AES with a reduced num- ber of rounds. 2 Rijndael has 10, 12 or 14 rounds, if the key length is 128, 192 or 256 bits. Different parts of the Rijndael algorithm op- erate on the intermediate result, called the State. The State is a square array of bytes with four rows and four columns. The Key is expanded and placed in an array W[4*(Nr+1)], where Nr is the number of rounds.
    [Show full text]
  • Differential-Linear Cryptanalysis Revisited
    Differential-Linear Cryptanalysis Revisited C´elineBlondeau1 and Gregor Leander2 and Kaisa Nyberg1 1 Department of Information and Computer Science, Aalto University School of Science, Finland fceline.blondeau, [email protected] 2 Faculty of Electrical Engineering and Information Technology, Ruhr Universit¨atBochum, Germany [email protected] Abstract. Block ciphers are arguably the most widely used type of cryptographic primitives. We are not able to assess the security of a block cipher as such, but only its security against known attacks. The two main classes of attacks are linear and differential attacks and their variants. While a fundamental link between differential and linear crypt- analysis was already given in 1994 by Chabaud and Vaudenay, these at- tacks have been studied independently. Only recently, in 2013 Blondeau and Nyberg used the link to compute the probability of a differential given the correlations of many linear approximations. On the cryptana- lytical side, differential and linear attacks have been applied on different parts of the cipher and then combined to one distinguisher over the ci- pher. This method is known since 1994 when Langford and Hellman presented the first differential-linear cryptanalysis of the DES. In this paper we take the natural step and apply the theoretical link between linear and differential cryptanalysis to differential-linear cryptanalysis to develop a concise theory of this method. We give an exact expression of the bias of a differential-linear approximation in a closed form under the sole assumption that the two parts of the cipher are independent. We also show how, under a clear assumption, to approximate the bias effi- ciently, and perform experiments on it.
    [Show full text]
  • Crypto: Symmetric-Key Cryptography
    Computer Security Course. Dawn Song Crypto: Symmetric-Key Cryptography Slides credit: Dan Boneh, David Wagner, Doug Tygar Dawn Song Overview • Cryptography: secure communication over insecure communication channels • Three goals – Confidentiality – Integrity – Authenticity Brief History of Crypto • 2,000 years ago – Caesar Cypher: shifting each letter forward by a fixed amount – Encode and decode by hand • During World War I/II – Mechanical era: a mechanical device for encrypting messages • After World War II – Modern cryptography: rely on mathematics and electronic computers Modern Cryptography • Symmetric-key cryptography – The same secret key is used by both endpoints of a communication • Public-key cryptography – Two endpoints use different keys Attacks to Cryptography • Ciphertext only – Adversary has E(m1), E(m2), … • Known plaintext – Adversary has E(m1)&m1, E(m2)&m2, … • Chosen plaintext – Adversary picks m1, m2, … (potentially adaptively) – Adversary sees E(m1), E(m2), … • Chosen ciphertext – Adversary picks E(m1), E(m2), … (potentially adaptively) – Adversary sees m1, m2, … One-time Pad • K: random n-bit key • P: n-bit message (plaintext) • C: n-bit ciphertext • Encryption: C = P xor K • Decryption: P = C xor K • A key can only be used once • Impractical! Block Cipher • Encrypt/Decrypt messages in fixed size blocks using the same secret key – k-bit secret key – n-bit plaintext/ciphertext n bits n bits Plaintext Block E, D Ciphertext Block Key k Bits Feistel cipher Encryption Start with (L0, R0) Li+1=Ri L1 R1 Rn Ln Ri+1=Li xor F(Ri,Ki) Li Ri Rn+1-i Ln+1-i Decryption Start with (Rn+1, Ln+1) Ri=Li+1 Li=Ri+1 xor F(Li+1,Ki) DES - Data Encryption Standard (1977) • Feistel cipher • Works on 64 bit block with 56 bit keys • Developed by IBM (Lucifer) improved by NSA • Brute force attack feasible in 1997 AES – Advanced Encryption Standard (1997) • Rijndael cipher – Joan Daemen & Vincent Rijmen • Block size 128 bits • Key can be 128, 192, or 256 bits Abstract Block Ciphers: PRPs and PRFs PRF: F: K X Y such that: exists “efficient” algorithm to eval.
    [Show full text]
  • Improving Impossible-Differential Attacks Against Rijndael-160 and Rijndael-224 Marine Minier
    Improving impossible-differential attacks against Rijndael-160 and Rijndael-224 Marine Minier To cite this version: Marine Minier. Improving impossible-differential attacks against Rijndael-160 and Rijndael-224. De- signs, Codes and Cryptography, Springer Verlag, 2017, 82 (1-2), pp.117 - 129. 10.1007/s10623-016- 0206-7. hal-01593371 HAL Id: hal-01593371 https://hal.inria.fr/hal-01593371 Submitted on 28 Nov 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Improving Impossible Dierential Attacks against Rijndael-160 and Rijndael-224? Marine Minier Université de Lyon, INRIA INSA-Lyon, CITI, F-69621, Villeurbanne, France [email protected] Abstract. Impossible dierential attacks are a very ecient form of cryptanalysis against block ciphers. In this paper, we improve the existing impossible dierential attacks against Rijndael-160 and Rijndael-224. Keywords: Rijndael, impossible dierential attack, cryptanalysis, block ciphers. 1 Introduction Impossible dierential attack introduced in [1] is a powerful cryptanalytic method against block ciphers. Classically, impossible dierential attacks take advantage of dierentials which never occur for the studied permutations. From an impos- sible dierential path, the idea is then to test if a key could verify or not the path, if yes the attacker could discard the tested key.
    [Show full text]