Publications

• Mate Soos: Enhanced Gaussian Elimination in DPLL-based SAT Solvers
  Workshop paper [PDF] [Presentation PDF]
  Pragmatics of SAT, Edinborough, 2010
  Benchs used are available here.
• Mate Soos: Grain of Salt — An Automated Way to Test Stream Ciphers through SAT Solvers
  Workshop paper [PDF] [Presentation PDF]
  Workshop on Tools for Cryptanalysis, Royal Holloway, University of London, 2010
• Mate Soos: Privacy-preserving Security Protocols for RFIDs
  PhD Thesis [PDF][Presentation PDF]
  Rhône-Alpes, France, 2009
• Mate Soos, Karsten Nohl, Claude Castelluccia: Extending SAT Solvers to Cryptographic Problems
  Full paper [PDF] [Presentation PDF]
  SAT’09, Swansea, 2009
• Karsten Nohl, Mate Soos: Solving Low-Complexity Ciphers with Optimized SAT Solvers
  Poster [PDF]
  Eurocrypt’09, Cologne, 2009
• Mate Soos: Analysing the Molva and Di Pietro Private RFID Authentication Scheme
  Full paper [PDF] [Presentation PDF]
  RFIDSec’08, Budapest, 2008
• Claude Castelluccia, Mate Soos: Secret Shuffling: A Novel Approach to RFID Private Identification
  Full paper [PDF] [Presentation PDF]
  RFIDSec’07, Malaga, 2007