Skip to main content
SpringerLink
Log in

Solving Compressed Right Hand Side Equation Systems with Linear Absorption

  • Conference paper
Sequences and Their Applications – SETA 2012 (SETA 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7280))

Included in the following conference series:

Abstract

In this paper we describe an approach for solving complex multivariate equation systems related to algebraic cryptanalysis. The work uses the newly introduced Compressed Right Hand Sides (CRHS) representation, where equations are represented using Binary Decision Diagrams (BDD). The paper introduces a new technique for manipulating a BDD, similar to swapping variables in the well-known sifting-method. Using this technique we develop a new solving method for CRHS equation systems. The new algorithm is successfully tested on systems representing reduced variants of Trivium.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schilling, T.E., Raddum, H.: Analysis of trivium using compressed right hand side equations. In: 14th International Conference on Information Security and Cryptology, Seoul, Korea, November 30-December 2. LNCS (2011)

    Google Scholar 

  2. Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: Proceedings of the 1993 IEEE/ACM International Conference on Computer-aided Design, vol. 12, pp. 42–47 (1993)

    Google Scholar 

  3. Cannière, C.D., Preneel, B.: Trivium specifications. ECRYPT Stream Cipher Project (2005)

    Google Scholar 

  4. Akers, S.B.: Binary decision diagrams. IEEE Transactions on Computers 27(6), 509–516 (1978)

    Article  MATH  Google Scholar 

  5. Somenzi, F.: Binary decision diagrams. In: Calculational System Design. NATO Science Series F: Computer and Systems Sciences, vol. 173, pp. 303–366. IOS Press (1999)

    Google Scholar 

  6. Krause, M.: BDD-Based Cryptanalysis of Keystream Generators. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol. 2332, pp. 222–237. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Stegemann, D.: Extended BDD-Based Cryptanalysis of Keystream Generators. In: Adams, C., Miri, A., Wiener, M. (eds.) SAC 2007. LNCS, vol. 4876, pp. 17–35. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Raddum, H.: MRHS Equation Systems. In: Adams, C., Miri, A., Wiener, M. (eds.) SAC 2007. LNCS, vol. 4876, pp. 232–245. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Raddum, H., Semaev, I.: Solving multiple right hand sides linear equations. Designs, Codes and Cryptography 49(1), 147–160 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Schilling, T.E., Raddum, H.: Solving Equation Systems by Agreeing and Learning. In: Hasan, M.A., Helleseth, T. (eds.) WAIFI 2010. LNCS, vol. 6087, pp. 151–165. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  11. Shannon, C.E.: The synthesis of two-terminal switching circuits. Bell Systems Technical Journal 28, 59–98 (1949)

    MathSciNet  Google Scholar 

  12. McDonald, C., Charnes, C., Pieprzyk, J.: Attacking Bivium with MiniSat. eSTREAM, ECRYPT Stream Cipher Project, Report 2007/040 (2007), http://www.ecrypt.eu.org/stream

Download references

Author information

Authors and Affiliations

  1. Selmer Center, University of Bergen, Norway

    Thorsten Ernst Schilling & Håvard Raddum

Authors
  1. Thorsten Ernst Schilling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Håvard Raddum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, University of Bergen, P.O. Box 7803, 5020, Bergen, Norway

    Tor Helleseth

  2. Department of Mathematics, Simon Fraser University, 8888 University Drive, V5A 1S6, Burnaby, BC, Canada

    Jonathan Jedwab

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schilling, T.E., Raddum, H. (2012). Solving Compressed Right Hand Side Equation Systems with Linear Absorption. In: Helleseth, T., Jedwab, J. (eds) Sequences and Their Applications – SETA 2012. SETA 2012. Lecture Notes in Computer Science, vol 7280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30615-0_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30615-0_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30614-3

  • Online ISBN: 978-3-642-30615-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation