Timing leakage analysis of non-constant-time NTT implementations with Harvey butterflies