Mate Soos
Mate Soos
Zalando SE
Verifierad e-postadress på zalando.de - Startsida
Titel
Citeras av
Citeras av
År
Extending SAT solvers to cryptographic problems
M Soos, K Nohl, C Castelluccia
International Conference on Theory and Applications of Satisfiability …, 2009
4532009
CryptoMiniSat 2.5. 0
M Soos
http://baldur. iti. uka. de/sat-race-2010/descriptions/solver_13. pdf, 2007
992007
Enhanced Gaussian Elimination in DPLL-based SAT Solvers.
M Soos
POS@ SAT, 2-14, 2010
552010
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
492019
Grain of salt—an automated way to test stream ciphers through SAT solvers
M Soos
Tools 10, 131-144, 2010
332010
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
322012
CryptoMiniSat
M Soos, K Nohl, C Castelluccia
SAT Race solver descriptions, 2010
312010
GANAK: A Scalable Probabilistic Exact Model Counter.
S Sharma, S Roy, M Soos, KS Meel
IJCAI 19, 1169-1176, 2019
192019
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
172009
Secret shuffling: A novel approach to RFID private identification
C Castelluccia, M Soos
Conference on RFID security, 169-180, 2007
142007
: Gazing in the Black Box of SAT Solving
M Soos, R Kulkarni, KS Meel
International Conference on Theory and Applications of Satisfiability …, 2019
92019
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
92019
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
52020
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, M Heule, M Jarvisalo, M Suda
Proc. of SAT Race 2019-Solver and Benchmark Descriptions, volume B-2019-1 of …, 2019
22019
An overview of RFID security protocols
M Soos
Ph. D. Thesis. https://www. msoos. org/wordpress/wp-content/uploads/2012/03 …, 2017
12017
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 0
1
CryptoMiniSat with WalkSAT at the SAT Competition 2020
M Soos, B Selman, H Kautz, J Devriendt, S Gocht
SAT COMPETITION 2020, 29, 0
1
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20