SOOS Mate

PostDoktorante
Forschungsgruppe : SALSA
Datum, an dem das LIP6 verlassen wurde : 30.11.2010
https://lip6.fr/Mate.Soos

Datum, an dem das LIP6 verlassen wurde : 30.11.2010

Publikationen 2010

Veröffentlichungen in Papierform

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)