SOOS Mate
2010 Publications
-
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)