PROLEAD_SW: Probing-Based Software Leakage Detection for ARM Binaries. TCHES. 2023;2023(3):391-421. doi:10.46586/tches.v2023.i3.391-421