JavaCard implementation of the Android Keymaster 4.1 HAL (most of the specification is in the Android Keymaster 4.0 HAL), intended for creation of StrongBox Keymaster instances to support the Android Hardware-backed Keystore.

Here is the JavaCard Applet design doc and the HAL design doc (the content will move here when it stablizes, for now these are a limited-access links).