63 citations · 252 across the 39 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.CR2016
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Saeed Nejati, Jia Hui Liang, Vijay Ganesh +2
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-ba…
cs.LO2016★ 2 cited
A Solver for a Theory of Strings and Bit-vectors
Sanu Subramanian, Murphy Berzish, Yunhui Zheng +2
We present a solver for a many-sorted first-order quantifier-free theory of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed a…
cs.LO2016★ 10 cited
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion
Vijay Ganesh, Murphy Berzish
In recent years there has been considerable interest in theories over string equations, length function, and string-number conversion predicate within the formal verification, soft…