Seguir
Mate Soos
Mate Soos
Afiliación desconocida
No hay ninguna dirección de correo electrónico verificada. - Página principal
Título
Citado por
Citado por
Año
Extending SAT solvers to cryptographic problems
M Soos, K Nohl, C Castelluccia
International Conference on Theory and Applications of Satisfiability …, 2009
5452009
CryptoMiniSat 2.5. 0
M Soos
http://baldur. iti. uka. de/sat-race-2010/descriptions/solver_13. pdf, 2007
1032007
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
812019
Enhanced Gaussian Elimination in DPLL-based SAT Solvers.
M Soos
POS@ SAT, 2-14, 2010
582010
GANAK: A Scalable Probabilistic Exact Model Counter.
S Sharma, S Roy, M Soos, KS Meel
IJCAI 19, 1169-1176, 2019
472019
Grain of salt—an automated way to test stream ciphers through SAT solvers
M Soos
Tools 10, 131-144, 2010
352010
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
342012
CryptoMiniSat
M Soos, K Nohl, C Castelluccia
SAT Race solver descriptions, 2010
342010
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
312020
FIRE: fault injection for reverse engineering
MS Pedro, M Soos, S Guilley
IFIP International Workshop on Information Security Theory and Practices …, 2011
192011
: Gazing in the Black Box of SAT Solving
M Soos, R Kulkarni, KS Meel
International Conference on Theory and Applications of Satisfiability …, 2019
152019
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
142019
Secret shuffling: A novel approach to RFID private identification
C Castelluccia, M Soos
Conference on RFID security, 169-180, 2007
132007
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 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
5
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
32021
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
32019
CryptoMiniSat with WalkSAT at the SAT Competition 2020
M Soos, B Selman, H Kautz, J Devriendt, S Gocht
SAT COMPETITION 2020, 29, 2020
22020
SAT Solvers in the Context of Cryptography
M Soos
Presentation at Rennes, 2010
22010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20