I’m on Android 13 and I feel that my old PIN is flawed and can be guessed by people who know me well. I am also under increased risk of my phone being plugged into a forensics device. Question is, if I change the PIN now, how do I know that the data is re-encrypted with the new key derived from my new PIN? I’m concerned that after the PIN changes, the internal storage (/data and /sdcard partitions) can still be decrypted with my old PIN for an extended period of time.
I’m assuming that when the PIN changes, underneath the hood the OS first decrypts /data and /sdcard with my old PIN, then encrypt new files with my new PIN. Anyone familiar with Android/AOSP know if my assumption is correct or not?