Text this: Adaptive chosen all inputs model for analyzing key derivation functions against bit-flip and timing side-channel attacks