Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers - Archive ouverte HAL Access content directly
Conference Papers Year :

Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers

Mate Soos
  • Function : Author
  • PersonId : 978689

Abstract

In this paper we describe Grain of Salt, a tool developed to automatically test stream ciphers against standard SAT solver-based attacks. The tool takes as input a set of configuration options and the definition of each filter and feedback function of the stream cipher. It outputs a problem in the language of SAT solvers describing the cipher. The tool can automatically generate SAT problem instances for Crypto-1, HiTag2, Grain, Bivium-B and Trivium. In addition, through a simple text-based interface it can be extended to generate problems for any stream cipher that employs shift registers, feedback and filter functions to carry out its work.
No file

Dates and versions

hal-01288922 , version 1 (15-03-2016)

Identifiers

  • HAL Id : hal-01288922 , version 1

Cite

Mate Soos. Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers. Tools'10: the Workshop on Tools for Cryptanalysis 2010, Jun 2010, London, United Kingdom. pp.131-144. ⟨hal-01288922⟩
223 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More