Pinned Repositories
android-identitycredential-applet
JavaCard applet for a reference implementation of the Android Identity Credential HAL (https://github.com/mihoelzl/android-identitycredential-ese-hal)
android-identitycredential-ese-hal
Reference implementation of the Android Identity Credential HAL using an applet on the embedded Secure Element for key protection and signature creation. The corresponding applet implementation can be found at https://github.com/mihoelzl/android-identitycredential-applet
FH-BeagleBoard
BeagleBoard Project
hugo-academic
Personal web page template for hugo. Forked from hugo-academic
linux
Linux kernel source tree
public-web-page
Public Web Page Source Files
secure-channel-ec-srp-applet
Java Card applet for a elliptic curve variant of SRP (based on SRP-5 in IEEE 1368.2-2008) to provide a password-authenticated secure channel to secure elements/smartcards. https://usmile.at/
secure-channel-srp-android-lib
Android library for a SRP based password-authenticated secure channel to secure elements/smartcards.
tpm2-se-applet
mihoelzl's Repositories
mihoelzl/android-identitycredential-applet
JavaCard applet for a reference implementation of the Android Identity Credential HAL (https://github.com/mihoelzl/android-identitycredential-ese-hal)
mihoelzl/android-identitycredential-ese-hal
Reference implementation of the Android Identity Credential HAL using an applet on the embedded Secure Element for key protection and signature creation. The corresponding applet implementation can be found at https://github.com/mihoelzl/android-identitycredential-applet
mihoelzl/FH-BeagleBoard
BeagleBoard Project
mihoelzl/hugo-academic
Personal web page template for hugo. Forked from hugo-academic
mihoelzl/linux
Linux kernel source tree
mihoelzl/public-web-page
Public Web Page Source Files
mihoelzl/Radio-Alarm-Android
With this android application you can setup your radio alarm with music from the open music library Grooveshark. Choose a time and your favorite artist or music genre and enjoy the morning with your personal radio alarm.