Publications 2010

• 2010
  • M. Soos : “Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers”, Tools'10: Proceedings of the Workshop on Tools for Cryptanalysis 2010, London, United Kingdom, pp. 131-144 (2010)
  • M. Soos : “Enhanced Gaussian Elimination in DPLL-based SAT Solvers”, Pragmatics of SAT Workshop, Edinburgh, United Kingdom (2010)