Jansen, S., Giezeman, G., Voordouw, M., Beffers, W., Islam, A., & Deekshitha. searchSECO-miner (Version V1.0.0) [Computer software]. https://github.com/SecureSECO/searchSECO-miner