“Comprehensive security analysis of CRAFT”, ToSC, vol. 2019, no. 4, pp. 290–317, Jan. 2020, doi: 10.13154/tosc.v2019.i4.290-317.