More Web Proxy on the site http://driver.im/

research-article

RunStream: A High-Level Rapid Prototyping Framework for Stream Ciphers

Authors:

Anupam Chattopadhyay,

Faezeh Abediostad,

Syed Imad Ud Din,

Muhammad Hassan,

Baishik Biswas,

Prasanna RaviAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 15, Issue 3

Article No.: 61, Pages 1 - 27

https://doi.org/10.1145/2891412

Published: 06 June 2016 Publication History

Abstract

We present RunStream, a rapid prototyping framework for realizing stream cipher implementations based on algorithmic specifications and architectural customizations desired by the users. In the dynamic world of cryptography where newer recommendations are frequently proposed, the need of such tools is imperative. It carries out design validation and generates an optimized software implementation and a synthesizable Register Transfer Level Verilog description. Our framework enables speedy benchmarking against critical resources like area, throughput, power, and latency and allows exploration of alternatives. Using RunStream, we successfully implemented various stream ciphers and benchmarked the quality of results to be at par with published hand-optimized implementations.

References

[1]

3GPP. 1999. General Report on the Design, Speification and Evaluation of 3GPP Standard Confidentiality and Integrity Algorithms. Retrieved from http://www.3gpp.org/ftp/tsg_sa/WG3_Security/_Specs/33908-300.pdf 3G TR 33.908 version 3.0.0 Release.

[2]

AES. 1997. Announcing development of a federal information processing standard for advanced encryption standard. National Institute of Standards and Technology, Docket No. 960924272-6272-01, RIN 0693-ZA13, January 2, 1997. Retrieved from http://csrc.nist.gov/archive/aes/pre-round1/aes_9701.txt.

[3]

Ajax 2009. The HercuLeS high-level synthesis tool. Retrieved from http://www.nkavvadias.com/hercules.

[4]

Steve Babbage and Matthew Dodd. 2006. The stream cipher MICKEY 2.0. ECRYPT Stream Cipher, Retrieved from http://www. ecrypt.eu.org/stream/p3ciphers/mickey/mickey_p3.pdf.

[5]

Steve Babbage and Matthew Dodd. 2008. The MICKEY stream ciphers. In New Stream Cipher Designs. Springer, 191--209.

Digital Library

[6]

Elad Barkan, Eli Biham, and Nathan Keller. 2003. Instant ciphertext-only cryptanalysis of GSM encrypted communication. In Advances in Cryptology (CRYPTO’03). Springer, 600--616.

[7]

T. Bjørstad. 2008. Cryptanalysis of grain using time/memory/data tradeoffs. Retrieved from http://www.ii.uib.no/tor/pdf/grain.pdf.

[8]

Riddhipratim Basu, Subhamoy Maitra, Goutam Paul, and Tanmoy Talukdar. 2009. On some sequences of the secret pseudo-random index j in RC4 key scheduling. In Proceedings of the 18th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC-18 2009), Tarragona, Catalonia, Spain, June 8--12, 2009. Lecture Notes in Computer Science), Maria Bras-Amorós and Tom Høholdt (Eds.), Vol. 5527. Springer, 137--148.

Digital Library

[9]

Côme Berbain, Henri Gilbert, and Alexander Maximov. 2006. Cryptanalysis of grain. In Fast Software Encryption. Springer, 15--29.

Digital Library

[10]

S. I. G. Bluetooth. 2001. Specification of the Bluetooth System.Version 1.1. Retrieved February 22, 2001 from www.inf.ethz.ch/personal/hvogt/proj/btmp3/Datasheets/Bluetooth_11_Specifications_Book.pdf.

[11]

Marc Briceno, Ian Goldberg, and David Wagner. 1999. A Pedagogical Implementation of the GSM A5/1 and A5/2 Voice Privacy Encryption Algorithms. Retrieved October 29, 1999, from http://cryptome.org/gsm-a512.htm.

[12]

Cadence 2009. Cadence C-to-Silicon Compiler: Next-Generation High-Level Synthesis for Design and Verification. Retrieved from http://www.cadence.com/products/sd/silicon_compiler.

[13]

CAESAR. 2012. CAESAR: Competition for Authenticated Encryption: Security, Applicability, and Robustness. (2012). http://competitions.cr.yp.to/caesar.html.

[14]

CLP-410. 2011. Elliptic Technologies Inc. CLP-410: ZUC Key Stream Generator. Retrieved August 5, 2011, from http://elliptictech.com/products-clp-410.php.

[15]

CRYPTREC. 2003. CRYPTREC: Cryptography Research and Evaluation Committees. Retrieved from http://competitions.cr.yp.to/cryptrec.html.

[16]

Christophe De Canniere, Orr Dunkelman, and Miroslav Knežević. 2009. KATAN and KTANTANa family of small and efficient hardware-oriented block ciphers. In Cryptographic Hardware and Embedded Systems (CHES’09). Springer, 272--288.

Digital Library

[17]

Christophe De Canniere and Bart Preneel. 2005. Trivium specifications. eSTREAM. ECRYPT Stream Cipher Project, Report 30 (2005), 2005.

[18]

Itai Dinur, Tim Güneysu, Christof Paar, Adi Shamir, and Ralf Zimmermann. 2011. An experimentally verified attack on full grain-128 using dedicated reconfigurable hardware. In Proceedings of the 17th International Conference on Advances in Cryptology and the Theory and Application of Cryptology and Information Security (ASIACRYPT’11). Lecture Notes in Computer Science, Dong Hoon Lee and Xiaoyun Wang (Eds.), Vol. 7073. Springer, 327--343.

Digital Library

[19]

Itai Dinur and Adi Shamir. 2009. Cube attacks on tweakable black box polynomials. In Proceedings of the 28th Annual International Conferece on Advances in Cryptology and the Theory and Applications of Cryptographic Techniques (EUROCRYPT’09), Lecture Notes in Computer Science, Antoine Joux (Ed.), Vol. 5479. Springer, 278--299.

[20]

eSTREAM. 2008. eSTREAM: The ECRYPT Stream Cipher Project. (2008). Retrieved March 7, 2012, from http://www.ecrypt.eu.org/stream.

[21]

GAUT 2007. GAUT - High-Level Synthesis tool From C to RTL. Retrieved from http://hls-labsticc.univ-ubs.fr.

[22]

Michalis D. Galanis, Paris Kitsos, Giorgos Kostopoulos, Nicolas Sklavos, O. Koufopavlou, and Costas E. Goutis. 2004. Comparison of the hardware architectures and FPGA implementations of stream ciphers. In Proceedings of the 11th IEEE International Conference on Electronics, Circuits and Systems (ICECS’04). IEEE, 571--574.

[23]

Kris Gaj, Gabriel Southern, and Ramakrishna Bachimanchi. 2007. Comparison of hardware performance of selected Phase II eSTREAM candidates. In State of the Art of Stream Ciphers Workshop (SASC’07), eSTREAM, ECRYPT Stream Cipher Project, Report, Vol. 26. 2007.

[24]

Kris Gaj, J. Kaps, Venkata Amirineni, Marcin Rogawski, Ekawat Homsirikamol, and Benjamin Y. Brewster. 2010. Athena-automated tool for hardware evaluation: Toward fair and comprehensive benchmarking of cryptographic hardware using fpgas. In Proceedings of the International Conference on Field Programmable Logic and Applications (FPL’10). IEEE, 414--421.

Digital Library

[25]

Ian Goldberg, David Wagner, and Lucky Green. 1999. The real-time cryptanalysis of A5/2. Rump Session of Crypto 99 (1999), 239--255.

[26]

Tim Good and Mohammed Benaissa. 2007. Hardware results for selected stream cipher candidates. State of the Art of Stream Ciphers (2007), 191--204.

[27]

Tim Good and Mohammed Benaissa. 2008a. ASIC hardware performance. In New Stream Cipher Designs. Springer, 267--293.

Digital Library

[28]

Tim Good and Mohammed Benaissa. 2008b. Hardware performance of eStream phase-III stream cipher candidates. In Proceedings of Workshop on the State of the Art of Stream Ciphers (SACS’08). Lausanne, 163--174.

[29]

Tim Good, William Chelton, and Mohammed Benaissa. 2006. Review of stream cipher candidates from a low resource hardware perspective. SASC 2006 Stream Ciphers Revisited (2006), 125.

[30]

Mentor Graphics 1996. Handel-C Synthesis Methodology. Retrieved from http://www.mentor.com/products/fpga/handel-c.

[31]

Martin Hell, Thomas Johansson, Alexander Maximov, and Willi Meier. 2006. A stream cipher proposal: Grain-128. In Proceedings of the IEEE International Symposium on Information Theory (ISIT’06). Citeseer.

[32]

Martin Hell, Thomas Johansson, and Willi Meier. 2007. Grain: A stream cipher for constrained environments. International Journal of Wireless and Mobile Computing 2, 1 (2007), 86--93.

Digital Library

[33]

Tor Helleseth, Cees J. A. Jansen, and Alexander Kholosha. 2006. Pomaranch-design and analysis of a family of stream ciphers. The eSTREAM Project. January 2, 2006, http://www.ecrypt.eu.org/stream/papersdir/2006/008.pdf.

[34]

Ekawat Homsirikamol and Kris Gaj. 2014. Can high-level synthesis compete against a hand-written code in the cryptographic domain? A case study. In Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE, 1--8.

[35]

Martin Ägren, Martin Hell, Thomas Johansson, and Willi Meier. 2011. Grain-128a: A new version of grain-128 with optional authentication. International Journal of Wireless and Mobile Computing 5, 1 (2011), 48--59.

Digital Library

[36]

Cees J. A. Jansen. 2004. Streamcipher design: Make your LFSRs jump. In The State of the Art of Stream Ciphers, Workshop Record, ECRYPT Network of Excellence in Cryptology. 94--108.

[37]

Ayesha Khalid, Muhammad Hassan, Anupam Chattopadhyay, and Goutam Paul. 2013. RAPID-FeinSPN: A rapid prototyping framework for feistel and SPN-based block ciphers. In Proceedings of the Information Systems Security. Springer Berlin 169--190. An extended version of this has been accepted for publication in the Journal of Cryptographic Engineering (Springer), 2016.

[38]

Ayesha Khalid, Prasanna Ravi, Anupam Chattopadhyay, and Goutam Paul. 2014. One word/cycle HC-128 accelerator via state-splitting optimization. In Progress in Cryptology (INDOCRYPT’14). 283--303.

[39]

Yi Lu, Willi Meier, and Serge Vaudenay. 2005. The conditional correlation attack: A practical attack on Bluetooth encryption. In Advances in Cryptology (CRYPTO’05). Springer, 97--117.

Digital Library

[40]

Subhamoy Maitra and Goutam Paul. 2008. Analysis of RC4 and proposal of additional layers for better security margin. In Progress in Cryptology (INDOCRYPT’08). Springer, 27--39.

Digital Library

[41]

Alexander Maximov and Alex Biryukov. 2007. Two trivial attacks on trivium. Cryptology ePrint Archive, Report 2007/021, (2007). Retrieved from http://eprint.iacr.org/.

[42]

Alexander Maximov and Dmitry Khovratovich. 2008. New state recovery attack on RC4. In Proceedings of the 28th Annual International Cryptology Conference, Advances in Cryptology (CRYPTO’08), Lecture Notes in Computer Science, David Wagner (Ed.), Vol. 5157. Springer, 297--316.

Digital Library

[43]

Alfred J. Menezes, Paul C. Van Oorschot, and Scott A. Vanstone. 1996. Handbook of Applied Cryptography. CRC Press.

Digital Library

[44]

Miodrag J. Mihaljevic, Sugata Gangopadhyay, Goutam Paul, and Hideki Imai. 2012. Generic cryptographic weakness of k-normal Boolean functions in certain stream ciphers and cryptanalysis of grain-128. Periodica Mathematica Hungarica 65, 2 (2012), 205--227.

[45]

NESSIE. 2000. NESSIE: New European Schemes for Signatures, Integrity, and Encryption. Retrieved from https://www.cosic.esat.kuleuven.be/nessie/.

[46]

NIST. 2001. A Statistical Test Suite for the Validation of Random Number Generators and Pseudo Random Number Generators for Cryptographic Applications. Retrieved May 15, 2001, from www.csrc.nist.gov/groups/ST/toolkit/rng/documents/SP800-22b.pdf.

[47]

OpenCores-RC4. 2013. OpenCores: RC4 Pseudo-random stream generator. Retrieved May 25, 2015, from http://opencores.org/project,rc4-prbs.

[48]

Ronald L. Rivest and Jacob C. N. Schuldt. 2014. Spritz-a spongy RC4-like stream cipher and hash function. CRYPTO 2014 Rump Session. Retrieved from http://people.csail.mit.edu/rivest/pubs/RS14.pdf.

[49]

Bruce Schneier. 1996. Applied cryptography: Protocols, algorithms, and source code in C. John Wiley and Sons, Chapter 17, Other Stream Ciphers and Real Random-Sequence Generators, 397--398.

[50]

SHA-3. 2012. SHA-3 Cryptographic Secure Hash Algorithm Competition. Retrieved from http://csrc.nist.gov/groups/ST/hash/sha-3/index.html.

[51]

SNOW 3G. 2006. Specification of the 3GPP Confidentiality and Integrity Algorithms UEA2 and UIA2. Document 2: SNOW 3G 3G Specification. ETSI/SAGE Specification, Version: 1.1. (2006).

[52]

Adi Shamir. 2004. Stream ciphers: Dead or alive? In ASIACRYPT. 78.

[53]

SNOW3G1. 2011. IP Cores Inc. SNOW 3G Encryption Core. Retrieved August 5, 2011, from http://ipcores.com/Snow3G.htm.

[54]

Synphony 2009. High-Level Synthesis with Synphony Model Compiler by Synopsys. Retrieved from http://www.synopsys.com/Tools/Implementation/FPGAImplementation/Pages/synphony-model-compiler.aspx.

[55]

Shadi Traboulsi, Nils Pohl, Josef Hausner, Attila Bilgic, and Valerio Frascolla. 2012. Power analysis and optimization of the ZUC stream cipher for LTE-advanced mobile terminals. In Proceedings of the 3rd Latin American Symposium on Circuits and Systems (LASCAS). IEEE, 1--4.

[56]

Vivado 2012. Vivado Design Suite. Retrieved from www.xilinx.com/products/design-tools/vivado.html.

[57]

Hongjun Wu. 2008. The stream cipher HC-128. In New Stream Cipher Designs. Springer, 39--47.

Digital Library

[58]

Bartosz Zoltak. 2004. VMPC one-way function and stream cipher. In Fast Software Encryption. Springer, 210--225.

[59]

ZUC. 2011. Specification of the 3GPP Confidentiality and Integrity Algorithms 128-EEA3 and 128-EIA3. Document 2: ZUC Specification. ETSI/SAGE Specification, Version: 1.5. (2011).

Cited By

Kundi DKhalid AAziz AWang CO'Neill MLiu W(2020)Resource-Shared Crypto-Coprocessor of AES Enc/Dec With SHA-3IEEE Transactions on Circuits and Systems I: Regular Papers10.1109/TCSI.2020.2997916(1-14)Online publication date: 2020
https://doi.org/10.1109/TCSI.2020.2997916
Khalid APaul GChattopadhyay AKhalid APaul GChattopadhyay A(2019)High Level Synthesis for Symmetric Key CryptographyDomain Specific High-Level Synthesis for Cryptographic Workloads10.1007/978-981-10-1070-5_4(51-90)Online publication date: 29-Mar-2019
https://doi.org/10.1007/978-981-10-1070-5_4
Khalid APaul GChattopadhyay AKhalid APaul GChattopadhyay A(2019)IntroductionDomain Specific High-Level Synthesis for Cryptographic Workloads10.1007/978-981-10-1070-5_1(1-4)Online publication date: 29-Mar-2019
https://doi.org/10.1007/978-981-10-1070-5_1

Index Terms

RunStream: A High-Level Rapid Prototyping Framework for Stream Ciphers
1. Hardware
  1. Integrated circuits
    1. Logic circuits

Recommendations

Latin dances revisited: new analytic results of Salsa20 and ChaCha
ICICS'11: Proceedings of the 13th international conference on Information and communications security

In this paper, we propose new attacks on 9-round Salsa20 and 8-round ChaCha. We constructed a distinguisher of double-bit differentials to improve Aumasson's single-bit differential cryptanalysis. We searched for correlations using a PC, and found ...
Latin Dances Revisited: New Analytic Results of Salsa20 and ChaCha
Information and Communications Security
Abstract
In this paper, we propose new attacks on 9-round Salsa20 and 8-round ChaCha. We constructed a distinguisher of double-bit differentials to improve Aumasson’s single-bit differential cryptanalysis. We searched for correlations using a PC, and found ...
RAPID-FeinSPN: A Rapid Prototyping Framework for Feistel and SPN-Based Block Ciphers
ICISS 2013: Proceedings of the 9th International Conference on Information Systems Security - Volume 8303

In this paper we propose RAPID-FeinSPN, an extensible framework designed for rapid prototyping of Feistel Network and Substitution-Permutation Network SPN based symmetric ciphers. The framework tries to bridge the gap between the designer of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 15, Issue 3

July 2016

520 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/2899033

Editor:
Sandeep K. Shukla
Indian Institute of Technology, India

Issue’s Table of Contents

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 06 June 2016

Accepted: 01 February 2016

Revised: 01 December 2015

Received: 01 July 2015

Published in TECS Volume 15, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)1

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kundi DKhalid AAziz AWang CO'Neill MLiu W(2020)Resource-Shared Crypto-Coprocessor of AES Enc/Dec With SHA-3IEEE Transactions on Circuits and Systems I: Regular Papers10.1109/TCSI.2020.2997916(1-14)Online publication date: 2020
https://doi.org/10.1109/TCSI.2020.2997916
Khalid APaul GChattopadhyay AKhalid APaul GChattopadhyay A(2019)High Level Synthesis for Symmetric Key CryptographyDomain Specific High-Level Synthesis for Cryptographic Workloads10.1007/978-981-10-1070-5_4(51-90)Online publication date: 29-Mar-2019
https://doi.org/10.1007/978-981-10-1070-5_4
Khalid APaul GChattopadhyay AKhalid APaul GChattopadhyay A(2019)IntroductionDomain Specific High-Level Synthesis for Cryptographic Workloads10.1007/978-981-10-1070-5_1(1-4)Online publication date: 29-Mar-2019
https://doi.org/10.1007/978-981-10-1070-5_1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents