JavaCard applet for a reference implementation of the Android Identity Credential HAL (https://github.com/mihoelzl/android-identitycredential-ese-hal) - View it on GitHub