@misc{cryptoeprint:2018:130,
    author = {Mojtaba Zaheri and Babak Sadeghiyan},
    title = {SMT-based Cube Attack on Simeck32/64},
    howpublished = {Cryptology ePrint Archive, Report 2018/130},
    year = {2018},
    url = {https://eprint.iacr.org/2018/130},
}