Side Channel Attacks on Symmetric Key Primitives” and Submitted in Partial Fulfillment of the Requirements for the Degree Of
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Key Differentiation Attacks on Stream Ciphers
Key differentiation attacks on stream ciphers Abstract In this paper the applicability of differential cryptanalytic tool to stream ciphers is elaborated using the algebraic representation similar to early Shannon’s postulates regarding the concept of confusion. In 2007, Biham and Dunkelman [3] have formally introduced the concept of differential cryptanalysis in stream ciphers by addressing the three different scenarios of interest. Here we mainly consider the first scenario where the key difference and/or IV difference influence the internal state of the cipher (∆key, ∆IV ) → ∆S. We then show that under certain circumstances a chosen IV attack may be transformed in the key chosen attack. That is, whenever at some stage of the key/IV setup algorithm (KSA) we may identify linear relations between some subset of key and IV bits, and these key variables only appear through these linear relations, then using the differentiation of internal state variables (through chosen IV scenario of attack) we are able to eliminate the presence of corresponding key variables. The method leads to an attack whose complexity is beyond the exhaustive search, whenever the cipher admits exact algebraic description of internal state variables and the keystream computation is not complex. A successful application is especially noted in the context of stream ciphers whose keystream bits evolve relatively slow as a function of secret state bits. A modification of the attack can be applied to the TRIVIUM stream cipher [8], in this case 12 linear relations could be identified but at the same time the same 12 key variables appear in another part of state register. -
Side Channel Analysis Attacks on Stream Ciphers
Side Channel Analysis Attacks on Stream Ciphers Daehyun Strobel 23.03.2009 Masterarbeit Ruhr-Universität Bochum Lehrstuhl Embedded Security Prof. Dr.-Ing. Christof Paar Betreuer: Dipl.-Ing. Markus Kasper Erklärung Ich versichere, dass ich die Arbeit ohne fremde Hilfe und ohne Benutzung anderer als der angegebenen Quellen angefertigt habe und dass die Arbeit in gleicher oder ähnlicher Form noch keiner anderen Prüfungsbehörde vorgelegen hat und von dieser als Teil einer Prüfungsleistung angenommen wurde. Alle Ausführungen, die wörtlich oder sinngemäß übernommen wurden, sind als solche gekennzeichnet. Bochum, 23.März 2009 Daehyun Strobel ii Abstract In this thesis, we present results from practical differential power analysis attacks on the stream ciphers Grain and Trivium. While most published works on practical side channel analysis describe attacks on block ciphers, this work is among the first ones giving report on practical results of power analysis attacks on stream ciphers. Power analyses of stream ciphers require different methods than the ones used in todays most popular attacks. While for the majority of block ciphers it is sufficient to attack the first or last round only, to analyze a stream cipher typically the information leakages of many rounds have to be considered. Furthermore the analysis of hardware implementations of stream ciphers based on feedback shift registers inevitably leads to methods combining algebraic attacks with methods from the field of side channel analysis. Instead of a direct recovery of key bits, only terms composed of several key bits and bits from the initialization vector can be recovered. An attacker first has to identify a sufficient set of accessible terms to finally solve for the key bits. -
Bahles of Cryptographic Algorithms
Ba#les of Cryptographic Algorithms: From AES to CAESAR in Soware & Hardware Kris Gaj George Mason University Collaborators Joint 3-year project (2010-2013) on benchmarking cryptographic algorithms in software and hardware sponsored by software FPGAs FPGAs/ASICs ASICs Daniel J. Bernstein, Jens-Peter Kaps Patrick Leyla University of Illinois George Mason Schaumont Nazhand-Ali at Chicago University Virginia Tech Virginia Tech CERG @ GMU hp://cryptography.gmu.edu/ 10 PhD students 4 MS students co-advised by Kris Gaj & Jens-Peter Kaps Outline • Introduction & motivation • Cryptographic standard contests Ø AES Ø eSTREAM Ø SHA-3 Ø CAESAR • Progress in evaluation methods • Benchmarking tools • Open problems Cryptography is everywhere We trust it because of standards Buying a book on-line Withdrawing cash from ATM Teleconferencing Backing up files over Intranets on remote server Cryptographic Standards Before 1997 Secret-Key Block Ciphers 1977 1999 2005 IBM DES – Data Encryption Standard & NSA Triple DES Hash Functions 1993 1995 2003 NSA SHA-1–Secure Hash Algorithm SHA SHA-2 1970 1980 1990 2000 2010 time Cryptographic Standard Contests IX.1997 X.2000 AES 15 block ciphers → 1 winner NESSIE I.2000 XII.2002 CRYPTREC XI.2004 V.2008 34 stream 4 HW winners eSTREAM ciphers → + 4 SW winners XI.2007 X.2012 51 hash functions → 1 winner SHA-3 IV.2013 XII.2017 57 authenticated ciphers → multiple winners CAESAR 97 98 99 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 time Why a Contest for a Cryptographic Standard? • Avoid back-door theories • Speed-up -
New Cryptanalysis of Irregularly Decimated Stream Ciphers
New Cryptanalysis of Irregularly Decimated Stream Ciphers Bin Zhang Laboratory of Algorithmics, Cryptology and Security, University of Luxembourg, 6, rue Coudenhove-Kalergi, L-1359, Luxembourg [email protected] Abstract. In this paper we investigate the security of irregularly dec- imated stream ciphers. We present an improved correlation analysis of various irregular decimation mechanisms, which allows us to get much larger correlation probabilities than previously known methods. Then new correlation attacks are launched against the shrinking generator with Krawczyk’s parameters, LILI-,DECIMv2 and DECIM-128 to access the security margin of these ciphers. We show that the shrinking generator with Krawczyk’s parameters is practically insecure; the initial internal state of LILI- can be recovered reliably in 272.5 operations, if 224.1-bit keystream and 274.1-bit memory are available. This disproves the de- signers’ conjecture that the complexity of any divide-and-conquer attack on LILI- is in excess of 2128 operations and requires a large amount of keystream. We also examine the main design idea behind DECIM, i.e., to filter and then decimate the output using the ABSG algorithm, by show- ing a class of correlations in the ABSG mechanism and mounting attacks faster than exhaustive search on a 160-bit (out of 192-bit) reduced ver- sion of DECIMv2 and on a 256-bit (out of 288-bit) reduced version of DECIM-128. Our result on DECIM is the first nontrivial cryptanalytic result besides the time/memory/data tradeoffs. While our result con- firms the underlying design idea, it shows an interesting fact that the security of DECIM rely more on the length of the involved LFSR than on the ABSG algorithm. -
Revisiting a Recent Resource-Efficient Technique For
Revisiting a Recent Resource-efficient Technique for Increasing the Throughput of Stream Ciphers Frederik Armknecht and Vasily Mikhalev Universit¨at Mannheim, Mannheim, Germany Keywords: Stream Ciphers, Feedback Shift Registers, Implementation, Throughput, Pipelining, Galois Configuration. Abstract: At CT-RSA 2014, Armknecht and Mikhalev presented a new technique for increasing the throughput of stream ciphers that are based on Feedback Shift Registers (FSRs) which requires practically no additional memory. The authors provided concise sufficient conditions for the applicability of this technique and demonstrated its usefulness on the stream cipher Grain-128. However, as these conditions are quite involved, the authors raised as an open question if and to what extent this technique can be applied to other ciphers as well. In this work, we revisit this technique and examine its applicability to other stream ciphers. On the one hand we show on the example of Grain-128a that the technique can be successfully applied to other ciphers as well. On the other hand we list several stream ciphers where the technique is not applicable for different structural reasons. 1 INTRODUCTION ciphers as well. In this work, we revisit this technique and shed new light on this technique. More precisely, Stream ciphers are designed for efficiently encrypting we provide both positive and negative results. On the data streams of arbitrary length. Ideally a stream ci- positive side, we successfully apply this technique to pher should not only be secure but also have a low Grain-128a. On the negative side we explain for sev- hardware size and high throughput. Consequently eral FSR-based stream ciphers that the technique can- several papers address the question of optimizing not be used for structural reasons. -
Foreign Languages for the Use of Printers and Translators
u. Gmm^-mi'mr printing office k. K GIEGJij^^a^GlI, Public Pbinter FOREIGN LANG-UAGI SUPPLEMENT TO STYLE MANUAL JIICVISED EDITION FOREIGN LANGUAGES For the Use of Printers and Translators SUPPLEMENT TO STYLE MANUAL of the UNITED STATES GOVERNMENT PRINTING OFFICE SECOND EDITION, REVISED AND ENLARGED APRIL 1935 By GEORGE F. von OSTERMANN Foreign Reader A. E. GIEGENGACK Public Printer WASHINGTON, D. C. 1935 For sale by the Superintendent of Documents, Washington, D. C. Price $1.00 (Buckram) PREFACE This manual relating to foreign languages is purposely condensed for ready reference and is intended merely as a guide, not a textbook. Only elementary rules and examples are given, and no effort is made to deal exhaustively with any one subject. Minor exceptions exist to some of the rules given, but a close adherence to the usage indicated will be sufficient for most foreign-language work. In the Romance languages, especially, there are other good forms and styles not shovm in the following pages. It is desired to acknowledge the assistance and cooperation of officials and members of the staff of the Library of Congress in the preparation of these pages and, in particular. Dr. Herbert Putnam, Librarian of Congress; Mr. Martin A. Roberts, Superintendent of the Reading Room; Mr. Charles Martel, Consultant in Cataloging, Classification, and Bibliography; Mr. Julian Leavitt, Chief of Catalog Division; Mr. James B. Childs, Chief of Document Division; Dr. Israel Schapiro, Chief of the Semitic Division; Mr. George B. Sanderlin; Mr. S. N. Cerick; Mr. Jens Nyholm; Mr. N. H. Randers-Pehrson; Mr. Oscar E. -
Design and Implementation of a Most Secure Cryptographic Scheme for Lightweight Environment Using Elliptic Curve and Trigonohash Technique
(IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 12, No. 6, 2021 Design and Implementation of a Most Secure Cryptographic Scheme for Lightweight Environment using Elliptic Curve and Trigonohash Technique BhaskarPrakash Kosta1, Dr. PasalaSanyasi Naidu2 Computer Science and Engineering Department GIT, GITAM Deemed to be University Vishakhapatnam, AP, India Abstract—The Internet of Things (IoT) is a rising by the affiliation who runs the center, taking into account development and is an organization of all gadgets that can be which the treatment is overseen without the actual presence of gotten to through the web. As a central advancement of the IoT, clinical master (This technique can be used to perceive wireless sensor networks (WSN) can be used to accumulate the COVID-19 patient among the people who are in separate so vital environment parameters for express applications. In light of the spread of sickness can be avoided). the resource limitation of sensor devices and the open idea of remote channel, security has become an enormous test in WSN. Using WSN biological data can be accumulated. WSN are Validation as an essential security service can be used to regularly involved customers, passages(gateway server) and guarantee the authenticity of data access in WSN. The proposed sensors centers. By and large sensor centers have limited three factor system using one way hash function is depicted by energy, computational force and limit power moreover it has low computational cost, and limit overhead, while achieving all been seen that the energy usage of sensor center depends upon other benefits. Keys are made from secret key for meeting for correspondence detachment [4][28], the energy usage for improving the security. -
Comparison of FPGA-Targeted Hardware Implementations of Estream Stream Cipher Candidates
Comparison of FPGA-Targeted Hardware Implementations of eSTREAM Stream Cipher Candidates David Hwang, Mark Chaney, Shashi Karanam, Nick Ton, and Kris Gaj Department of Electrical and Computer Engineering George Mason University, Fairfax, Virginia, U.S.A. {dhwang, mchaney, skaranam, nton1, kgaj}@gmu.edu Abstract. This work discusses FPGA hardware implementations of all eSTREAM phase 3 hardware stream cipher candidates (profile 2) and some of their derivatives. The designs are optimized for maximum through- put per unit area as well as minimum area, and targeted for Xilinx Spartan 3 FPGAs. The results have found that the Grain and Trivium families of ciphers have demonstrated relative implementation efficiency compared to the rest of the cipher candidates; Mickey also provided a balance of low area with high throughput per area. 1 Introduction Efficient hardware implementations of stream ciphers are important in both high-performance and low-power applications which require encryption. To this end, in 2004 the ECRYPT stream cipher project (eSTREAM) [1] was launched to identify new stream ciphers for adoption in a variety of systems; the call for profile 2 stream cipher candidates in particular focused on stream ciphers suited toward hardware implementation. Currently in phase 3 of the eSTREAM competition there are eight families of hardware-oriented stream ciphers which remain as candidates: DECIM, Edon80, F-FCSR, Grain, MICKEY, Moustique, Pomaranch, and Trivium. The general characteristics of these ciphers and their variants are shown in Table 1. In this paper we compare the hardware imple- mentations of all hardware-oriented candidates (profile 2) and their variants, targeted toward the Xilinx Spartan 3 family of FPGAs. -
DECIM: Detecting Endpoint Compromise in Messaging
View metadata, citation and similar papers at core.ac.uk brought to you by CORE DECIM: Detecting Endpoint Compromise In Messaging Full Version∗ Jiangshan Yuyz x Mark Ryan x Cas Cremers { Abstract We present DECIM, an approach to solve the challenge of detecting endpoint compromise in messaging. DECIM manages and refreshes encryption/decryption keys in an automatic and transparent way: it makes it necessary for uses of the key to be inserted in an append-only log, which the device owner can interrogate in order to detect misuse. We propose a multi-device messaging protocol that exploits our concept to allow users to detect unauthorised usage of their device keys. It is co-designed with a formal model, and we verify its core security property using the Tamarin prover. We present a proof-of-concept implementation providing the main features required for deployment. We find that DECIM messaging is efficient even for millions of users. The methods we introduce are not intended to replace existing methods used to keep keys safe (such as hardware devices, careful pro- cedures, or key refreshment techniques). Rather, our methods provide a useful and effective additional layer of security. 1 Introduction Spurred by government surveillance [1{3] and users' desire for strong security [4], a new trend of using end-to-end secure communication has spread. Large companies and security communities have started to deploy ∗An extended abstract of this work appeared at IEEE TIFS, 2017. yCorresponding author, [email protected] zSnT, University of Luxembourg. xSchool of Computer Science, University of Birmingham, UK. -
LNCS 4515, Pp
Differential Cryptanalysis of the Stream Ciphers Py, Py6 and Pypy Hongjun Wu and Bart Preneel Katholieke Universiteit Leuven, ESAT/SCD-COSIC Kasteelpark Arenberg 10, B-3001 Leuven-Heverlee, Belgium {wu.hongjun,bart.preneel}@esat.kuleuven.be Abstract. Py and Pypy are efficient array-based stream ciphers de- signed by Biham and Seberry. Both were submitted to the eSTREAM competition. This paper shows that Py and Pypy are practically inse- cure.Ifonekeyisusedwithabout216 IVs with special differences, with high probability two identical keystreams will appear. This can be ex- ploited in a key recovery attack. For example, for a 16-byte key and a 16-byte IV, 223 chosen IVs can reduce the effective key size to 3 bytes. For a 32-byte key and a 32-byte IV, the effective key size is reduced to 3byteswith224 chosen IVs. Py6, a variant of Py, is more vulnerable to these attacks. Keywords: Differential Cryptanalysis, Stream Cipher, Py, Py6, Pypy. 1 Introduction RC4 has inspired the design of a number of fast stream ciphers, such as ISAAC [8], Py [2], Pypy [3] and MV3 [10]. RC4 was designed by Rivest in 1987. Being the most widely used software stream cipher, RC4 is extremely simple and efficient. At the time of the invention of RC4, its array based design was completely different from the previous stream ciphers mainly based on linear feedback shift registers. There are two main motives to improve RC4. One motive is that RC4 is byte oriented, so we need to design stream ciphers that can run more efficiently on today’s 32-bit microprocessors. -
The Estream Project
The eSTREAM Project Matt Robshaw Orange Labs 11.06.07 Orange Labs ECRYPT An EU Framework VI Network of Excellence > 5 M€ over 4.5 years More than 30 european institutions (academic and industry) ECRYPT activities are divided into Virtual Labs Which in turn are divided into Working Groups General SPEED eSTREAM Assembly Project Executive Strategic Coordinator Mgt Comm. Committee STVL AZTEC PROVILAB VAMPIRE WAVILA WG1 WG2 WG3 WG4 The eSTREAM Project – Matt Robshaw (2) Orange Labs 1 Cryptography (Overview!) Cryptographic algorithms often divided into two classes Symmetric (secret-key) cryptography • Participants using secret-key cryptography share the same key material Asymmetric (public-key) cryptography • Participants using public-key cryptography use different key material Symmetric encryption can be divided into two classes Block ciphers Stream ciphers The eSTREAM Project – Matt Robshaw (3) Orange Labs Stream Ciphers Stream encryption relies on the generation of a "random looking" keystream Encryption itself uses bitwise exclusive-or 0110100111000111001110000111101010101010101 keystream 1110111011101110111011101110111011100000100 plaintext 1000011100101001110101101001010001001010001 ciphertext Stream encryption offers some interesting properties They offer an attractive link with perfect secrecy (Shannon) No data buffering required Attractive error handling and propagation (for some applications) How do we generate keystream ? The eSTREAM Project – Matt Robshaw (4) Orange Labs 2 Stream Ciphers in a Nutshell Stream ciphers -
Analysis and Implementation of Estream and SHA-3 Cryptographic Algorithms
COOPER UNION FOR THE ADVANCEMENT OF SCIENCE AND ART ALBERT NERKEN SCHOOL OF ENGINEERING Analysis and Implementation of eSTREAM and SHA-3 Cryptographic Algorithms by Deian Stefan A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering May 10, 2011 Advisor Dr. Fred L. Fontaine COOPER UNION FOR THE ADVANCEMENT OF SCIENCE AND ART ALBERT NERKEN SCHOOL OF ENGINEERING This thesis was prepared under the direction of the Candidate’s Thesis Advisor and has received approval. It was submitted to the Dean of the School of Engineering and the full Faculty, and was approved as partial fulfillment of the requirements for the degree of Master of Engineering. Dr. Simon Ben Avi Dean, School of Engineering Dr. Fred L. Fontaine Candidate’s Thesis Advisor Abstract Invaluable benchmarking efforts have been made to measure the perfor- mance of eSTREAM portfolio stream ciphers and SHA-3 hash function can- didates on multiple architectures. In this thesis we contribute to these ef- forts; we evaluate the performance of all eSTREAM ciphers and all second- round SHA-3 candidates on NVIDIA Graphics Processing Units (GPUs). Complementarity, we present the first implementation of the cube at- tack in a multi-GPU setting. Our framework proves useful in the practi- cal analysis of algorithms by providing a generic black box interface and speedup factors over 100¢. Demonstrating its use we analyze two eS- TREAM stream ciphers, MICKEY v2 and Trivium. We find that MICKEY is not susceptible to low-degree cube attacks, while our Trivium analysis confirms previous results, in addition to several new equations applicable to a partial key recovery.