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
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 link doesn't work.
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.
- Applets (standalone applications)
- Library code (code which is expected to be used as part of other code)
- Developer tools
- JavaCard simulators and emulators
- Learning (various school projects, simple hello world applets, etc)
- Unsorted
-
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
-
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. -
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.
-
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-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.
-
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 applet performs secure decryption of secrets via NFC. It was made for KeePassNFC, but could be used for other things. -
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.
-
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.
- 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
-
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]
-
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. -
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. -
Lamassu card
Very simple applet used by Lamassu Bitcoin machines to sign transaction with ECDSA.
-
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.
-
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.
-
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) -
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
-
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. -
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
Small library for JavaCard CAP file handling -
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
-
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
-
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
-
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.
-
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. -
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.
- Corba
old project, CryptoFlex uploader? - unifei-smart-cards
Material developed in UNIFEI-MG research about Smart Cards
- 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')