Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Nejati, Saeed"'
Cryptographic hash functions play a crucial role in ensuring data security, generating fixed-length hashes from variable-length inputs. The hash function SHA-256 is trusted for data security due to its resilience after over twenty years of intense sc
Externí odkaz:
http://arxiv.org/abs/2406.20072
Autor:
Nejati, Saeed, Ganesh, Vijay
Over the last two decades, we have seen a dramatic improvement in the efficiency of conflict-driven clause-learning Boolean satisfiability (CDCL SAT) solvers on industrial problems from a variety of domains. The availability of such powerful general-
Externí odkaz:
http://arxiv.org/abs/2005.13415
SAT solvers are increasingly being used for cryptanalysis of hash functions and symmetric encryption schemes. Inspired by this trend, we present MapleCrypt which is a SAT solver-based cryptanalysis tool for inverting hash functions. We reduce the has
Externí odkaz:
http://arxiv.org/abs/1608.04720
Publikováno v:
In Computers and Electrical Engineering May 2019 75:61-76
Publikováno v:
Geopersia; Jan2024, Vol. 14 Issue 1, p23-44, 22p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
In this paper, we present MachSMT, an algorithm selection tool for Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the SMT-LIB language. It employs machine learning (ML) methods to construct both empirical hardness mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f66e8422eff8dd6576f0d90c1f13499f
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Dec2023, Vol. 25 Issue 5/6, p799-800, 2p
Autor:
Bright, Curtis, Ganesh, Vijay, Heinle, Albert, Kotsireas, Ilias, Nejati, Saeed, Czarnecki, Krzysztof
Publikováno v:
Computer Algebra in Scientific Computing (9783319456409); 2016, p117-133, 17p