Publication list
-
Mate Soos, Karsten Nohl, Claude Castelluccia
Extending SAT Solvers to Cryptographic Problems
Full paper
SAT'09, Swansea, 2009
-
Karsten Nohl, Mate Soos
Solving Low-Complexity Ciphers with Optimized SAT Solvers
Poster
Eurocrypt'09, Cologne, 2009
-
Mate Soos
Analysing the Molva and Di Pietro Private RFID Authentication Scheme
Full paper
RFIDSec'08, Budapest, 2008
-
Claude Castelluccia, Mate Soos
Secret Shuffling: A Novel Approach to RFID Private Identification
Full paper
RFIDSec'07, Malaga, 2007