Automated Detection of Cryptographic Inconsistencies in Android's Keymaster Implementations.

Abdullah Imran, Antonio Bianchi

Browse the full Mobisys paper archive.