Follow
Mate Soos
Mate Soos
Senior Research Fellow
Verified email at ethereum.org - Homepage
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
6952009
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 (01), 1592-1599, 2019
1252019
CryptoMiniSat 2.5. 0
M Soos
http://baldur. iti. uka. de/sat-race-2010/descriptions/solver_13. pdf, 2007
1062007
GANAK: A Scalable Probabilistic Exact Model Counter.
S Sharma, S Roy, M Soos, KS Meel
IJCAI 19, 1169-1176, 2019
852019
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
752020
Enhanced Gaussian Elimination in DPLL-based SAT Solvers.
M Soos
POS@ SAT, 2-14, 2010
642010
CryptoMiniSat
M Soos, K Nohl, C Castelluccia
SAT Race solver descriptions 58, 2010
362010
Lynx: A programmatic SAT solver for the RNA-folding problem
V Ganesh, CW O’donnell, M Soos, S Devadas, MC Rinard, ...
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
352012
Grain of salt—an automated way to test stream ciphers through SAT solvers
M Soos
Tools 10, 131-144, 2010
342010
FIRE: fault injection for reverse engineering
M San Pedro, M Soos, S Guilley
IFIP International Workshop on Information Security Theory and Practices …, 2011
212011
: gazing in the black box of SAT solving
M Soos, R Kulkarni, KS Meel
International Conference on Theory and Applications of Satisfiability …, 2019
202019
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
172019
Designing samplers is easy: The boon of testers
P Golia, M Soos, S Chakraborty, KS Meel
2021 Formal Methods in Computer Aided Design (FMCAD), 222-230, 2021
142021
Secret shuffling: A novel approach to RFID private identification
C Castelluccia, M Soos
Conference on RFID security, 169-180, 2007
142007
Arjun: An efficient independent support computation technique and its applications to counting and sampling
M Soos, KS Meel
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022
122022
Leveraging GPUs for effective clause sharing in parallel SAT solving
N Prevot, M Soos, KS Meel
International Conference on Theory and Applications of Satisfiability …, 2021
102021
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 2020
82020
CryptoMiniSat 5.6 with YalSAT at the SAT Race 2019
M Soos, A Biere, M Heule, M Jarvisalo, M Suda
Proc. of SAT Race, 14-15, 2019
72019
Analysing the molva and di pietro private rfid authentication scheme
M Soos
RFIDSec, Budapest, Hungary, 2008
62008
STP constraint solver (2014)
V Ganesh, T Hansen, M Soos, D Liew, R Govostes
5
The system can't perform the operation now. Try again later.
Articles 1–20