README.md

Curated list of JavaCard applications

The goal is to provide curated catalog of all open-source JavaCard applets and applications relevant for JavaCard development. The initial list was compiled by complete search for all GitHub and SourceForge repositories with 'javacard.framework' keyword.

You are encouraged to contribute - please create a pull request.

The projects collected in this list were analyzed and published (June 2017) in Analysis of JavaCard open-source ecosystem

Backup of listed repositories

As repositores are sometimes moved or removed, the fork of each repository under the virtual organization 'javacard-curated-list' is created. Try to find a repository there if the link doesn't work.

Format and notation

Project name [activity]
Short description, often taken from a project readme.md If is the project located on GitHub as primary project (not only source code in some subfolder), last commit date, number of contributors and number of stars received is retrieved directly from GitHub. Otherwise, source like SourceForge or BitBucket is signalized with manual last commit date entry.

Contents

1. Applets (standalone applications)
   • Electronic passports and citizen ID
   • Authentication and access control
   • Payments and loyalty
   • Key and password managers
   • Digital signing, OpenPGP and mail security
   • e-Health
   • NDEF tags
   • CryptoCurrency wallets
   • Emulation of some proprietary cards
   • Unsorted applications
2. Library code (code which is expected to be used as part of other code)
3. Developer tools
   • Applet build, upload and management
   • Card capabilities testing (algorithms support, performance, security issues)
   • Formal verification and code transformation tools
4. JavaCard simulators and emulators
5. Learning (various school projects, simple hello world applets, etc)
6. Unsorted
   • (needs further inspection)
   • Methodology

---

Applets (standalone applications)

Electronic passports and citizen ID

• JMRTD: Machine Readable Travel Documents (SourceForge) [last commit 2017]
  Free implementation of the MRTD (Machine Readable Travel Documents) standards as set by ICAO used in the ePassport. Consists of an API for card terminal software and a Java Card applet.

• EstEID compatible JavaCard applets
  Various JavaCard applets compatible to EstEID chip protocol: FakeEstEID, MyEstEID

• Electronic Driving License (GitHub) [last commit 2015]
  A reference implementation of the ISO18013 standards. Based on the passport applet code developed by the JMRTD team. The project implements the host API for reading out ISO compliant electronic driving licenses and a Java Card applet that implements the standard on a smart card.

• JMRTD applet without EAC support
  Fork of JMRTD electronic passport applet without EAC support. The target device for this project is G+D SmartCafe Expert 144k Dual.

• SIC eID card
  A privacy-friendly alternative for the Belgian eID card. The project aims to improve security of Belgian ID holders by limiting the current extensive exposure of their profiles. To do so, we build an alternative ID card which limits service providers to strickly necessary ID holder profile information.

• FedICT Quick-Key Toolset (GitHub) [last commit 2011]
  EidCard project

• IdentityCard applet (GitHub) [last commit 2017]
  Vrije University Brussels applet (be.msec.smartcard.IdentityCard.java) with authentication, identity metadata storage and retrieval and time update functionality.

• belgian-e-id applet
  Belgian e-id applet

Authentication and access control

• YkOtpApplet - OTP applet
  Javacard applet emulating the Yubikey challenge-response interface

• YubiKey NEO App: OATH
  This project implement the HOTP/TOTP card functionality used on the YubiKey NEO device that is sold by Yubico. Its primary use is to use the YubiKey NEO to generate OATH HOTP/TOTP one-time-passwords. GPLv3+

• ISOApplet PKI
  A Java Card PKI Applet aiming to be ISO 7816 compliant. The Applet is capable of saving a PKCS#15 file structure and performing PKI related operations using the private key, such as signing or decrypting. Private keys can be generated directly on the smartcard or imported from the host computer. The import of private keys is disabled in the default security configuration.

• SSH support applet (GitHub) [last commit 2007]
  Old, but widely copied applet performing RSA decrypt on card and used by SSH client

• HOTP authenticator via NDEF tag
  JavaCard HMAC-based One Time Password generator which delivers new code via URL tag of NDEF every time the card is put close to NFC-enabled phone. As the Android (and soon also iOS) handles the NDEF tags natively, no additional software is required (after initial card personalization with OTP secret key).

• CoolKey Applet
  CoolKey Applet with the idea of making it a fresh JavaCard 2.2.2 applet meant to be revival of CardEdge Muscle card applet.

• MuscleApplet
  Significant, but outdated applet used for OpenSC. Superseeded by PKCS#15 and PIV standards.

• OpenFIPS201 PIV applet
  Personal Identity Verification (PIV) applet. Commissioned and funded by the Australian Department of Defence

• PIV applet
  Personal Identity Verification (PIV) applet (NIST SP 800-73-4). Target is JavaCard 2.2.2, with 2-3k of transient memory.

• ORWL KeyFob applets
  Contains applets for KeyFOB NFC Secure Element for performing association, authentication and identification. Relates to ORWL secure computer.

• PKCS#15 applet [REMOVED, last commit 2015]
  Implementation of card according to RSA PKCS#15 specification. (seems like extensive implementation, but fails to convert under ant-javacard so far)

• PKI applet [REMOVED, last commit 2016]
  (extensive PKI applet, requires JavaCard 3.0.5)

• Generic Identity Device Specification Applet
  Generic Identity Device Specification (GIDS) smart card is the only PKI smart card whose driver is integrated on each Windows since Windows 7 SP1 and which can be used read and write. No Windows driver installation is required. Based on ISOApplet PKI

• PIV CryptonitApplet
  Personal Identity Verification (PIV) applet

• Ledger U2F Applet
  This applet is a Java Card implementation of the FIDO Alliance U2F standard. It uses no proprietary vendor API and is freely available on Ledger Unplugged and for a small fee on other Fidesmo devices through Fidesmo store.

• Ledger U2F Applet Fork
  This applet is a Fork of Ledger U2F repository with some changes. At first, in the releases a compiled source is available along with a script for GpPro tool to both instal and personalise the applet. Secondly, a proprietary APDU was changed from F0 CLA to 80. All personalisation APDU on other ledger forks threw 6881, but the 80 CLA personalisation succeeded. The repository also claims to support iOS.

• FIDO CCU2F Applet
  This CCU2F JavaCard Applet is based on the Ledger U2F Applet. I imported this applet to Eclipse with installed JCOP Tools and modified the AID of this applet to the standardized AID for FIDO NFC token ( 0xA0000006472F0001). I also provided some example data ([Attestation Certificate and Key](u2f-javacard/U2F Example Attestation Certificate and Key Bytes.txt)) to bring this applet to run. This Applet was succesfully tested on JCOP v2.4.2 R3 cards with KeyAgreementX.ALG_EC_SVDP_DH_PLAIN_XY from NXPs JCOP library for EC Point Multiplication.

• U2FToken
  An U2F Token implementation based on Ledger U2F Applet which cannot pass the NFC self-conformance test in the phase: "U2F_REGISTER, Short APDU, Change BlockSize", as it doesn't handle the situation which Le(BlockSize) is not 256 bytes.)

• Yubikey Neo One Time Pad
  This project has been submitted to the YubiKing 2015 Hackathon. Yubisec is an implementation of a One Time Pad for secure communication between two Android phones using keys stored and generated on YubiKey Neo tokens.

• Biometric Authentication
  Fuzzy extractor to authenticate with biometric data

• OneCard
  radiius.com Radiius applet, applet seems to be just starting to implement required functionality as per specification

• OTP client and server applets
  This is proof-of-concept implementation of One Time password JavaCard STK applet and authentication server. Load JavaCard applet to SIM card and use STK menu.

• Trusted Identity Module
  A local smartphone module acting as an OpenID Connect Server proxy and delivers trusted tokens to installed native applications. The TIM improves the user experience with single sign on, security and privacy enhancement. The Trusted Identity Module project is a set of four projects: an Android service (tim_service), a JAVA Card Service (TimCardlet), a modified OpenID Connect Server (phpOpTim) and a basic Android TIM-Client app enabling to test the TIM services (HelloTim). The OIDC-TIM server is based on an open source implementation of OpenID Connect in PHP by Nomura Research Institute, Ltd. Seems to be extensive and well documented.

Payments and loyalty

• OpenEMV
  The OpenEMV is a Java Card implementation of the EMV standard. This applet is a very basic EMV applet supporting only SDA and plaintext offline PIN.It does not offer personalisation support - everything is hard-coded. seems like mature project
• EMV card simulator
  JavaCard implementation of an EMV card for payment terminal functional and security testing.
• EMV-TOOLS
  Collection of source code for many EMV-related projects: SimpleEMVApplet, java-card-openEMV, card-spy, emvdemoBook, emv-bertlv...
• Simple Wallet
  This is a simple wallet simply maintains a running account balance allowing you to credit, debit, or review the current balance of the wallet. This is simply for pure demonstration on various wearable technologies where a javacard secure element is available.
• E-Purse
  just started, unifinished (04/2017)
• AppSecure
  AppSecure uses Gemalto's eGate smart card framework to enforce pay as you go services for Win32 applications. This entry made it to the pre-final round of Gemalto's eGate Open Contest in 2004
• PBOC3Applet
  payment applet
• PayPass applet
  Javacard Applet for functioning paypass credential. The javacard code included will answer to any reader that requests MasterCard PayPass contactless cards.
• PayPass, VisaMSD, MMPP applets
  This repository contains multiple card applet/card agent examples for using on simplytapp, GPL to v1.2.1. probably significant project, needs closer look
• JavaCard Wallet
  Client/Server application of an electronic wallet (Pin, Storage, control, payment..)
• EMVCAP
  This tool emulates an EMV-CAP device, to illustrate the article "Banque en ligne : a la decouverte d'EMV-CAP" published in MISC, issue #56.
• Mobile banking applet via STK
  Mobile banking solution using SIM Toolkit
• Loyalty Card Applet
  Loyalty Card System based on a Java Card featuring a smart card and a terminal. This is a system that allows customers to get credits by shopping in the same store repeatedly. Customers can spend credits to buy products in the store.

Key and password managers

• JavaCardKeymaster
  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.

• SIM password wallet
  Android application interacting with a JavaCard applet installed on SIM card.

• CryptSetup JavaCard Key Manager
  A JavaCard key manager for Cryptsetup. School project, but well documented and extensive

• KeepassNFCApplet
  KeepassNFC is a applet in javacard platform that can protect the secret key of KeePass database.

• Smartcard crypto applet
  This repository constains the same source code ( -Februrary 2020- ) as the repository listed above (KeepassNFCApplet)

• Java Card OpenPGP Card
  This is a Java Card implementation of the OpenPGP smart card specifications.

• SIM Password Manager
  Android password manager app that implements password encryption inside a secure element (SE). Can only run on a device that supports the Open Mobile API (aka SmartCardService). Requires associated Java Card applet to be loaded in the SE (SIM card or embedded SE) in advance.

• SIM password store
  SIM toolkit application allowing storage and retrieval of the logins and passwords by SMS in a secure way. It demonstates how to develop a SIM toolkit application that can securely store and manage information on the SIM and communcate with an external world via SMS.

• TrueCrypt password storage applet
  Using TrueCrypt with a JavaCard. The app stores the user container passwords on a SmartCard and automatically loads the passwords from it to the choosen Containers. The user just remember a four digit PIN to access the SmartCard. Additionally I've implented an password-share methode. The user is able to share passwords with previous stored PublicKeys (RSA 2048 Bit). The private key is generated during the of the card and don't leave this.

• Password manager
  Password manager for javacards. Tested on J3A081 card.

• JCPasswordManager
  JavaCard Password Manager is a java applet used to create and securely store a strong password used with the steganography app created by. School project, but well documented.

Digital signing, OpenPGP and mail security

• Yubico OpenPGP applet
  This project implement the OpenPGP card functionality used on the YubiKey NEO device. This project is based on the Java Card OpenPGP Card project made by Joeri de Ruiter. The OpenPGP Card applet is typically used through GnuPG.

• ANSSI-FR SmartPGP applet
  SmartPGP is a free and open source implementation of the OpenPGP card 3.x specification in JavaCard. The main improvement introduced in OpenPGP card 3.x specification from previous version is the support of elliptic curve cryptography with several existing curves (NIST P-256, NIST P-384, NIST P-521, brainpool p256r1, brainpool p384r1 and brainpool p512r1). The SmartPGP Card applet is typically used through GnuPG.

• Secure multi-party signatures Myst
  Secure multiparty Schnorr-based EC signatures implemented without proprietary ECPoint API.

• SigAnima
  SigAnima is an JavaCard ECDSA signing applet. This applet is based on the javacardsign applet from Wojciech Mostowski . The applet supports the following standardized EC domain parameters: secp224r1, BrainpoolP224r1, secp256r1, BrainpoolP256r1, BrainpoolP320r1.

• FluffyPGP applet
  The FluffyPGP Applet implements the OpenGPG Card v 2.0.1 specification without using secure channels or Global Platform for portability. GPL3

• JCOpenPGP (SourceForge) [last commit 2016]
  Aim of this project is to create JavaCard applet implementing Functional Specification of the OpenPGP application on ISO Smart Card Operating Systems.

• Virtual KeyCard applet
  This software system allows you to decrypt and sign your e-mails with your smartphone instead of using a contactless smartcard. The smartphone communicates with your PC via NFC (as a contactless smartcard would). bachelor's thesis. Warning: This is just proof-of-concept code and should NOT be used in production environments.
  The repository contains only CardEdge applet but it is not the applet development repository. Main purpose of this repo is to run card simulator inside a smartphone; the applet is just used here.

e-Health

• Electronic health card
  eHealth card implementation
• HealthCard: JavaCard + JML specs (SourceForge) [last commit 2014]
  Prototype of a Java Card application for smart cards and its client application. It was developed with the support of JML (Java Modeling Language) used to formally specify the requirements for developing the HealthCard application in Java Card.
• EGKfeuer
  A project to read the German health insurance card (Elektronische Gesundheitskarte (EGK)), transform the read data to FHIR@copy; ressources, and send them to a choosable FHIR Endpoint. This repository does not contain an applet, it is only client tool.

NDEF tags

• JavaCard NDEF Applet
  This project contains a JavaCard applet acting as an NFC NDEF Tag. It is intended as a convenience applet, allowing storage of an NDEF record on a smartcard to direct the user to a relevant host-device application, such as a smartphone app related to the card or a web page for which the card serves as an authorization token. Data can be preloaded at install time using standards-compliant methods so that this generic applet can be used in different use cases without modification.

• JavaCard NDEF application
  JavaCard applet for speaking NDEF. Implementation of the NDEF Nfc-Forum specification for JavaCard 2.2.1. The aim is to support sending of urls to smartphones, and provoiding only compile time writeability.

• Pico NDEF Applet (GitHub) [last commit 2017]
  

CryptoCurrency wallets

• SecureBitcoinWalletJavaCardApplet
  This project is the JavaCard applet for the Secure Bitcoin Wallet App.

• Ledger Bitcoin Hardware Wallet
  This applet is an implementation of the Ledger Wallet Hardware Wallet specification emulating an NFC Forum Type 4 tag to display the second factor, with specific extensions.
  This project is DISCONTINUED according to issues section.. Derived project can be found here.

• Status KeyCard
  Keycard is a an implementation of a BIP-32 HD wallet running on Javacard 3.0.4+. Supports among others key generation, derivation and signing, exporting keys defined in the context of EIP-1581, card duplicationand setting up a NFC NDEF tag.

• SatoChip Bitcoin applet
  SatoChip stands for Secure Anonymous Trustless and Open Chip. It is a javacard applet that can be used as a secure hardware wallet running for example on a Yubikey Neo. The SatoChip has full BIP32 supports but due to technical limitations on current javacards, hardened keys (i.e. child keys using indices 2^31 through 2^32-1) are derived much faster than normal keys.

• Bitcoin wallet
  BitcoinWallet is a Bitcoin Hardware Wallet implementation. It is based on the project Ledger Wallet and can be run on JavaCard platform with JCRE version 3.0.x above.

• Specter-DIY Bitcoin wallet applets
  This is a collection of JavaCardOS applets for Specter-DIY secrets storage for use by Specter Bitcoin multisignature wallet.

• Lamassu card
  Very simple applet used by Lamassu Bitcoin machines to sign transaction with ECDSA.

Emulation of some proprietary cards

• DESFire applet
  reimplementation of DESFire card - master's thesis proof of concept

• JavaCard DESFire emulation
  Emulation of DESFire card

• MobileEDEPV3 (GitHub) [last commit 2016]
  JC emulation of some Chinese card?

• TAG 4 emulation
  This is an implementation of a TAG 4 for emulation

• Gauss Key Card
  Gauss Key Card is a Java Card applet that implements the minimal working subset of the Tesla Key Card Protocol. Supported Java Card implementations that load this application will be able to be paired with a compatible vehicle and subsequently unlock, start, or lock the vehicle in the same way you would with an official key card.

Unsorted applications

• TPM2 applet
  The project aims to implement basic TPM2 functionalities for smart cards that run Java Card. Currently, this implementation supports : TPM_Startup, TPM_StartAuthSession, TPM_PCR_Extend, TPM_PCR_Read, TPM_PCR_Reset, TPM_ReadPublic, TPM_GetRandom

• SmartMeterIQ
  The main concern with Smart Meters is the granularity of the data which enables physical and behavioral analysis of the consumer in terms of the brand and make of devices installed and their house hold activities (like when do they wake up, when they are not at home). We propose using Java Card platform as it is a natural fit and is designed to be tamper-proof and secure. In addition, we explore using advanced cryptography techniques such as Zero Knowledge Proof of Knowledge (using Pedersen Commitments) to enable the Utility Supplier to trust the data it is getting from the central device.

• STKApplet
  SIM Toolkit Applet

• javacard-petrol-rationing [REMOVED, last commit 2014]
  Applet for security of Petrol rationing, including design documents, Radboud University, Hardware Security course, JavaCard project

• LiteID-SimApp
  A Sim Application client for LiteID, just started, unfinished

• LicenseCardApp
  applet handling license usage counters and relevant stuff (no documentation)

• Prototype firmware for the Trusted Execution Module (TEM)
  Prototype firmware for the Trusted Execution Module (TEM). The firmware is a JavaCard applet, and it can turn any capable JavaCard into a TEM.

• Secure-Storage-and-Erasure
  This is an open source prototype of Secure Storage and Erasure (SSE) System, including both the JavaCard and host programs.

• Mobile-ID USAT applet [REMOVED, last commit 2017]
  The Remarc Mobile-ID USAT applet this is a JavaCard applet with USIM Application Toolkit menu support. Basic functions of the Remarc Mobile-ID SAT applet: Authentication function; Signing function; Changing PIN1/PIN2; Changing PUK; Unblock PIN1/PIN2; View information - in a USAT menu is present a menu item with information of PIN usage

• E-Voting applet
  EVIV is a highly sound End-to-end Verifiable Internet Voting system, which offers full voter’s mobility and preserves the voter’s privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe ́ or at a public library.

• UPSC framework
  Identity and the security of data transmission is very critical for the success of these e-services. SIM cards might take an important role as a security service provider. They have been used for so many years to preserve the security keys(Ki) and algorithms (A3A8) for authenticating and encrypting the data. Within this project, the international consortium will try to implement a software framework on both the mobile terminal and SIM card that expose the required security functions to popular e-services like Mobile commerce, Financial transactions, Data Encryption, Secure Cloud Storage and Mobile Identity.

• MQTT-SCACAuth: Message Queuing Telemetry Transport (MQTT) protocol for SC
  Security Method for the Message Queuing Telemetry Transport (MQTT) protocol for Internet of Things (IoT). Additional message protection implemented on smartcards,
  SCACAuth_Applets_v2 folder contains the eclipse project for create the applet for JavaCard 3.0.4

• T101-Devhub
  Set of javacard applets like PGP, OTP, password manager, Satochip (T101-Devhub/Samples/) to run on ThothTrust THETAKey T101 card

• Wookey Javacard applets
  Set of javacard applets for the WooKey project: authentication, DFU and signature tokens to run with the WooKey, a secure and trusted USB mass storage device featuring user data encryption and strong user authentication, with fully open source and open hardware foundations, developed by ANSSI.

Library code (code which is expected to be used as part of other code)

• JCMathLib - ECPoint library
  Provides software re-implementation of low-level operations like ECPoint or BigInteger without any use of proprietary API.

• SHA3, PBKDF2, TWINE, Zorro, ACORN, AEGIS, ASCON, CLOC, and MORUS AEAD ciphers implementation
  Optimalized implementation of AEGIS, ACORN, ASCON, CLOC, MORUS (Authenticated Encryption), TWINE, Zorro (Block Ciphers), SHA-3 (Message Digest) and PBKDF2 (Key derivation)

• LibESE Android verified boot
  Minimal transport wrapper for communicating with embedded secure elements on Android

• JavaCard ChaCha20 implementation
  32-bit JavaCard based ChaCha20 stream cipher optimized for JavaCard environment with 32-bit Integer support

• ACORN, AEGIS, ASCON, CLOC, and MORUS AEAD ciphers
  Optimalized implementation of 5 selected candidates for authenticated encryption from CAESAR competition

• Primitives for JavaCard
  JBigInteger, JCMath, SHA3, UProve...

• OpenTLSSec
  Open source java card library for TLS secured communication under GPL v3. (Seems like significant project)

• SmartCardTLS
  Client implementation of TLS 1.0 in Java Card (tested with Gmail mobile (lightweight version) with the card G&D SmartCafe 3.2)

• SCP10 secure channel and attack
  Implementation of GlobalPlatform SCP'10 secure channel protocol, PoC attacks against it and fixed version.

• SRP-6a password-authenticated secure channel
  Java Card applet for SRP-6a password-authenticated secure channel to secure elements/smartcards. This Java Card applet is an implementation of the Secure Remote Password (SRP-6a) password-authenticated secure channel protocol by Wu [1]. In combination with an implementation of an off-card application, such as an Android application using our SRP-6A Android Library, you can establish a secure communication channel that is mutually authenticated with a PIN or password.

• EC-SRP-5 password-authenticated secure channel
  An implementation of the elliptic curve variant of the Secure Remote Password (SRP-5) password-authenticated secure channel protocol from IEEE Std 1363.2-2008 for secure channel to secure elements/smartcards. Utilizes NXP proprietary API.

• ykneo-curves
  This is an applet demonstrating several curves for use in YubiKey NEO.

• Curve25519 jc implementation
  Javacard implementation of Curve25519, JavaCard 3.0.1 or higher (currently developed on J2D081)

• Java Card Synchronization Framework
  The main goal of this framework is to synchronize Java Card 2 applets through the exchange of ciphered APDUs. The current state of the framework is lacking in many ways and requires more works to be fully functional. However it can serve as a proof of concept for the synchronization of applet data in a secure fashion in a pure Java Card 2 setting (i.e.: without tweaking the Java Card VM).

• Secure Element Evaluation Kit for the Android platform
  SmartCard API for Android. The SmartCard API adds the necessary modules and API’s to the Android platform. It offers flexible access to secure elements, allowing a secure application solution to make use of any secure form factor, such as a USIM card, a secure µSD card, an embedded secure element.

• OPACITY auth protocol for JC
  This project is designed to authenticate users to the Web service using contactless smart cards. As an authentication protocol was chosen protocol OPACITY. This protocol has been specifically designed for contactless payments and it is officially registered now as an authentication protocol ISO/IEC 24727-6.

• HMAC and CMAC computation (GitHub) [last commit 2014]
  This Java Card applet support APDUs to test HMAC (SHA-1, SHA-256) and CMAC (AES-128). It uses Java Card 2.2.2.

• Self-Blindable credentials
  Java Card implementation of Self-Blindable credentials

• TelephonyManager Carrier Privilege granting
  Since Android 5.1, applications are able to communicate with UICC using the class TelephonyManager. However, the concerned functions require a special privilege, that is the carrier privilege. This JavaCard applet grants this privilege to the app whose signature is included inside the applet (the variable SHA256_SIGN)

• AES, OAEP, SHA2-384 and SHA2-512 JC reimplementation,
  The Suite of software reimplementations of selected cryptographic algorithms potentially missing on your smartcard with JavaCard platform. Optimized for speed and small memory footprint.

• Hashchain applet
  Implementation of some hash chain

• ElGamal-based Threshold Scheme for Electronic Elections
  TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections. EU Project CRISES group has studied the feasibility of developing ElGamal cryptosystem and Shamir’s secret sharing scheme into JavaCards, whose API gives no support for it. (probably significant applet).

• Audit TTP SmartCard-Based ElGamal Cryptosystem
  TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections. EU Project.

• Protocol for Lightweight Authentication of Identity (PLAID) (GitHub) [last commit 2015]
  Protocol for Lightweight Authentication of Identity PLAID, Australian Government

• Sec2 cloud security project
  message-level security must at least be applied to protect those data during and after the storing process. Novel solution for secure data storage in the cloud. It presents a security concept allowing each client to encrypt outgoing data on one’s mobile device and share it among a defined user group while using a seamless service provision. J. Somorovsky, research proof of the concept

Developer tools

Applet build, upload and management

• Ant-JavaCard
  Easy to use Ant task for building JavaCard CAP files in a declarative way.

• GlobalPlatform tools (GPShell) (SourceForge) [last commit 2014]
  The GlobalPlatform card specification provides a standard for the management of the contents on a smart card. Mainly this comprises the installation and the removal of applications.

• Sun/Oracle JavaCard SDK binaries
  Oracle JavaCard SDK-s for using as a Git submodule for ant-javacard projects.

• GlobalPlatform export files
  All export files for GlobalPlatform APIs

• JCProfiler: JavaCard performance profiler
  Performance profiler for Java Card code. Automatically inserts special execution interruption "traps" into applet code, repeatedly execute target operation and measures time differences between traps. Annotates code with measured time.

• OPAL - GlobalPlatform lib (BitBucket) [last commit 2015]
  A GlobalPlatform Java Library. OPAL implements several authentication, encryption and transfer protocols for smart card. This tool has been developped by the SSD Research Team (XLIM Labs, University of Limoges, France).

• CAP File Manipulation (BitBucket) [last commit 2012]
  A Java Card CAP file parser.

• capfile handling tool
  Handle JavaCard CAP files, from command line or Java project. Cap file parsing, signing, displaying metadata....

• ExpParser (SourceForge) [last commit 2008]
  Parser for JavaCard export files (*.exp) - display content in human-readable form

• Smart-Card-Tool-pyResMan (SourceForge) [last commit 2017]
  pyResMan is a free open source smartcard tool for JavaCard and other smart card. It can be used to send APDU(s), execute APDU script(s); It can be used to debug ISO14443 protocol commands and Mifare commands with R502 SPY reader; It can also be used to manage resource of GP card. It is based on pyScard and GlobalPlatform open source projects.

• JavaCard debugging toolkit
  JCDebug is a JavaCard debugging toolkit. A simple command line tools that instruments JavaCard applets to offer debugging and inspection services directly on the target plateform. Potentially significant project, needs closer look

• Card2Jar
  A converter for converting Java Card CAP files to JAR files. Currently this is just a handy wrapper around the JCDK3.0.4_ClassicEdition SDK distribution's normalizer utility. It is subject to all the same caveats as the normalizer.bat interface (must have export EXP file and must be a Java Card 2.2.2 or lower applet).

• "Allow all" ARA-M
  GlobalPlatform dummy ARA applet to grant full access

• Real ARA-M
  A "real" ARA-M applet that doesn't just do Allow-all but offers a fairly complete implementation of the Secure Element Access Control v1.0 specification.

Card capabilities testing (algorithms support, performance, security issues)

• JCAlgTest
  Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 60+ cards available at https://jcalgtest.org.

• ECTester
  Tester of Eliptic curves support and behavior (TYPE_EC_FP and TYPE_EC_F2M) on smartcards with JavaCard platform.

• PicoLabel AES/DES/RSA speed tester
  Performance testing for DES/AES/RSA

• Performance Benchmark Applet for Javacard/smartcard
  Performance testing for various algorithms, similar as JCAlgTest (needs investigation about difference to JCAlgTest)

• HandlerTest
  L. Rousseau PCSCLite reader test : This program send commands to a card through the reader.

• Memory profiling tool (GitHub) [last commit 2017]
  Locates an applet constructor and places free memory measurements hooks before and after every allocation command. Summarizes required memory for every allocated object (RAM, EEPROM)

• Three applets testing on-card defenses against maliciously modified applets
  Abuse of Shareable interface, type confusion after use of Shareable interface, direct modification of CAP file

• JCOSTestKit stars
  JCOS testing kit platform with modular plugin capability. Possibly alternative approach to JCAlgTest allowing for finer definition of the operations and their sequence as defined by host plugin.

• SPA-JavaCard-Applet stars
  JavaCard applet implementating basic cryptographic operations triggered during power analysis measurements using SPA-Cryptographic-Operations-Extractor tool

Formal verification and code transformation tools

• VeriFast
  VeriFast is a research prototype of a tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. Examples on JavaCard applets: EPurse, EidCard. Very active project.

• Joana IFC analysis framework
  Joana is a static analysis tool that can be used for information flow control (IFC) of Java bytecode. IFC allows to verify the INTEGRITY (no attacker can temper with sensitive information) or CONFIDENTIALITY (no attacker can infer secret information from public outputs) of a Java program. System dependence graphs (SDG) form the basic technology for our analyses. Examples also on JavaCard applets. Very active project.

• CesTa project
  Security hardening (duplicate variables, constant branches, transaction detection...) for JavaCard applets based on ANTLR automatic code transformations

• The KeY project
  examples on JavaCard, this github repo is not official (https://www.key-project.org)

• KeYmaera 3
  KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems with examples on JavaCard applets (among others). http://symbolaris.com/info/KeYmaera.html

JavaCard simulators and emulators

• JCardSim:
  Capable JavaCard simulator implemented atop of BouncyCastle. Very good for unit testing, quick prototyping and educational purposes. Allows for multiple simulated cards in parallel.

• vJCRE
  vJCRE is a virtual Java Card Runtime Environment

• Secure Element Emulator
  This project aims at emulating a secure element environment for debugging and rapid-prototyping of secure element applets. It is a fork of the open-source Java Card simulator jCardSim (original source code available here). Within our research we added extensions to emulate an application life-cycle that matches the life-cycle of applications on real smartcard chips.

• Java Card Simulator via Node.js
  This project provides an implementation of a Java Card Runtime Enviornment (JCRE) produced using Node.js which is capable of creating virtual smart card devices and sending APDU commands to the smart card devices for execution via a RESTful API. The project also provides a web-based interface for interacting with the JCRE.

• PythonCard: (BitBucket) _[last commit 2013]
  JavaCard API simulated in Python environment. The goal is to provide a classic 3.0.1 version, while maintaining compatiblity with earlier version like 2.1.2.

• JCardMock
  Mock implementation of the Java Card API 3.0.4 in order to test Java Card applet code without a card or simulator. It runs the Java Card API 3.0.4 in a normal Java Virtual Machine. The purpose is to allow for unit tests for Java Card applets with normal test frameworks like JUnit or TestNG in a normal Java Virtual Machine (unfinished)

• CAPRunner
  CAPRunner is a javacard bytecode emulator that is able to execute CAP files. It also comes with an handy runcap.py that bind them together and allow you to send some APDUs to a CAP file (without the need for a smartcard). developement on BitBucket

• FreeJCVM (SourceForge) [last commit 2015]
  Free javacard vm implementation for AVR MCU.

• openjcvm (SourceForge) [last commit 2015]
  A open source java card virtual machine implementation. And also some part of the VM code can be used as part of kinds of tools such as javacard bytecode disassembler.

Learning (various school projects, simple hello world applets, etc)

• AppletPlayground
  AppletPlayground is an educational repository for getting to know JavaCard development by learning from existing open source software. It includes various open source applets from the internet, bundled into ready to use package. Everything you need to edit, compile and load the applets to real JavaCard-s or test with an emulator.

• Simple AES encrypt/decrypt
  Master thesis - protection of wireless networks in smart homes using secure hardware

• SecureChat
  Secure chat client/server application

• JavaCard Demo
  Examples of various JavaCard functionalities (as separate applets)

• MultiCard
  An school of applied science smartcard project. This project contains offCard and onCard components with various aspects of javacard development.

• Hotel Buddy
  Various JavaCard projects created for a lecture-series. Some PKI.

• Simple calculator on JavaCard
  

• Maze solver on JavaCard
  A small experiment on memory about java card using jcopv2.2.1

• TraninCard applet
  SmartCard - Traincard, No Pain No Gain Project at HTWk Leipzig.

• Client applet for CDAX Crypto (GitHub) [last commit 2014]
  The applet with implementation of basic cryptographic functions offered by JavaCard API

• CryptedBankCard
  The school project with goal to develop a secure banking card.

• Smartcard-Offline-Lock
  Electronic door locks are commonly used at hotels, exhibitions or public facilities. An offline-operational solution for an electronic lock is required. This is a study project, so please don't expect to much comfort (single DES key used).

• Learning applets repository
  This repository will provide you with javacard applet for absolutely beginners\ javacard development tools\ javacard open source applets.

Unsorted

(needs further inspection)

• Corba
  old project, CryptoFlex uploader?

• unifei-smart-cards
  Material developed in UNIFEI-MG research about Smart Cards

• Teleport secret Bitcoin applet
  Basic applet implementing simple Bitcoin signature functionality.

Methodology

• DONE (2018-02-22) Search all GitHub repositories with "javacard.framework.Applet" string. For repeated searches, sort by Sort:Recently indexed to get new projects first
• DONE (2017-04-15) Analyze applets included in AppletPlayground
• DONE (2017-04-15) Search all SourceForge repositories with "javacard" string
• DONE (2017-04-16) Sort applets into categories according to basic topic
• Inspect other repositories of relevant developers
• Analyze status and maturity of included projects (subsection 'needs further inspection')