- 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