Not really. The encryption key is generated by some PBKDF iterations over the PIN + a device-specific 256-bit key that's burned into secure storage. Unless they can get the latter from secure storage--which is probably fairly hard--this devolves into brute-forcing a random 256-bit AES key, which is not really feasible.
Power management, mobile and firmware developer on Linux. Security developer at Aurora. Ex-biologist. mjg59 on Twitter. Content here should not be interpreted as the opinion of my employer. Also on Mastodon.
Re: Just a shortcut
Date: 2016-02-25 03:26 pm (UTC)