Mate Soos
Title
Cited by
Cited by
Year
Extending SAT solvers to cryptographic problems
M Soos, K Nohl, C Castelluccia
International Conference on Theory and Applications of Satisfiability …, 2009
4092009
CryptoMiniSat 2.5. 0
M Soos
http://baldur. iti. uka. de/sat-race-2010/descriptions/solver_13. pdf, 2007
962007
Enhanced Gaussian Elimination in DPLL-based SAT Solvers.
M Soos
POS@ SAT, 2-14, 2010
452010
Bird: Engineering an efficient cnf-xor sat solver and its applications to approximate model counting
M Soos, KS Meel
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1592-1599, 2019
372019
Lynx: A programmatic SAT solver for the RNA-folding problem
V Ganesh, CW O’donnell, M Soos, S Devadas, MC Rinard, ...
International Conference on Theory and Applications of Satisfiability …, 2012
312012
CryptoMiniSat
M Soos, K Nohl, C Castelluccia
SAT Race solver descriptions, 2010
302010
Grain of salt—an automated way to test stream ciphers through SAT solvers
M Soos
Tools 10, 131-144, 2010
292010
FIRE: fault injection for reverse engineering
M San Pedro, M Soos, S Guilley
IFIP International Workshop on Information Security Theory and Practices …, 2011
182011
CryptoMiniSat—a SAT solver for cryptographic problems
M Soos
URL http://www. msoos. org/cryptominisat4, 2009
162009
Secret shuffling: A novel approach to RFID private identification
C Castelluccia, M Soos
Conference on RFID security, 169-180, 2007
132007
GANAK: A Scalable Probabilistic Exact Model Counter.
S Sharma, S Roy, M Soos, KS Meel
IJCAI, 1169-1176, 2019
82019
: Gazing in the Black Box of SAT Solving
M Soos, R Kulkarni, KS Meel
International Conference on Theory and Applications of Satisfiability …, 2019
72019
BOSPHORUS: bridging ANF and CNF solvers
D Choo, M Soos, KMA Chai, KS Meel
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 468-473, 2019
52019
Analysing the molva and di pietro private rfid authentication scheme
M Soos
RFIDSec, Budapest, Hungary, 2008
52008
STP constraint solver (2014)
V Ganesh, T Hansen, M Soos, D Liew, R Govostes
4
CryptoMiniSat 5.6 with YalSAT at the SAT Race 2019
M Soos, A Biere
Proc. of SAT Race, 14-15, 2019
12019
An overview of RFID security protocols
M Soos
Ph. D. Thesis. https://www. msoos. org/wordpress/wp-content/uploads/2012/03 …, 2017
12017
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
M Soos, S Gocht, KS Meel
International Conference on Computer Aided Verification, 463-484, 2020
2020
Combined SLS and CDCL instances at the SAT Competition 2020
M Soos
SAT COMPETITION 2020 302 (316), 83, 2014
2014
2.1 Details on Specific Converterts
M Albrecht, M Brickenstein, M Soos
Sage Reference Manual: Sat, 9, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20