====== The adoption rate of JavaCard features by certified products and open-source projects [CARDIS 2023]  ======
~~NOTOC~~

<grid>
<col xs="12" sm="8" lg="8">
<TEXT size="large">

\_{{fa>user}}\_\_//Authors:// [[:publications:authors:lukas-zaoral|Lukas Zaoral]], [[:publications:authors:antonin-dufka|Antonin Dufka]],  [[:publications:authors:petr-svenda|Petr Svenda]]

{{fa>user-circle-o}}\_//Primary contact:// Petr Svenda %%<%%<svenda@fi.muni.cz>%%>%%

{{fa>bullhorn}}\_//Conference:// [[https://sbd-research.nl/cardis-2023/|22nd Smart Card Research and Advanced Application Conference 2023]]

</TEXT>
</col>

<col xs="12" sm="4" lg="4">
<TEXT align="right">

<button type="warning" icon="fa fa-fw fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2023-cardis-javacard.pdf|PRE-PRINT PDF]]</button>
\_
<button icon="fa fa-file-image-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2023-cardis-javacard_slides_final.pdf|Slides]]</button>
\_
<button collapse="bibtex" icon="fa fa-fw fa-file-code-o">BiBTeX</button>
</TEXT>
</col>
</grid>

<collapse id="bibtex" collapsed="false">
  @inproceedings{2023-cardis-javacard,
     title = {The adoption rate of JavaCard features by certified products and open-source projects },
     year = {2023},
     author = {Zaoral, Lukas and Dufka, Antonin and Svenda, Petr},
     booktitle = {Proceedings of the 22nd Smart Card Research and Advanced Application Conference, Lecture Notes in Computer Science, vol 14530},
     doi = {10.1007/978-3-031-54409-5_9},
     keywords = {Cryptographic Hardware, javacard, common criteria, fips140, smartcards},
     language = {eng},
     isbn = {978-3-031-54409-5},
     pages = {169--189},
     publisher = {Springer}
  }
</collapse>

<panel type="default" title="Abstract">
JavaCard is the most prevalent platform for cryptographic smartcards nowadays. Despite having more than 20 billion smartcards shipped with the JavaCard virtual machine and thirteen revisions since the JavaCard API specification was first published more than two decades ago, uptake of newly added features, cryptographic algorithms or their parameterizations, and systematic analysis of overall activity is missing. We aim to fill this gap by mapping the activity of the JavaCard ecosystem from publicly available sources with a focus on 1) information available from security certification documents available under Common Criteria and FIPS140 schemes and 2) activity and resources required by JavaCard applets released in an open-source domain. 

The analysis performed on all certificates issued between the years 1997-2023 and on more than 200 public JavaCard applets shows that new features from JavaCard specification are adopted slowly. It typically takes six or more years before a majority of certified products add corresponding support. Open-source applets utilize new features even later, likely due to the unavailability of recent performant smartcards in smaller quantities. Additionally, almost 70\% of constants defined in JavaCard API specification are completely unused in open-source applets. The applet portability improves with recent cards, and transient and persistent memory requirements (scarce resources on smartcards) are typically small. While around twenty products have been consistently certified every year since 2009, the open-source ecosystem became more active around 2013 but seemed to decline in the past two years. As a result, the whole smartcard ecosystem is likely negatively impacted by limited exposure to new ideas and usage scenarios, serving only well-established domains and potentially harming its long-term competitiveness with other technologies.

</panel>

===== Research artifacts (supplementary material) =====
  * Preprint version of the paper: {{:publications:pdf:2023-cardis-javacard.pdf|PRE-PRINT PDF}}
  * Slides from presentation:  {{:publications:pdf:2023-cardis-javacard_slides.pdf|SLIDES}}
  * JavaCard API constants in time (till June 2023): {{ :public:papers:javacard_api_constants.pdf | javacard_api_constants.pdf}}
  * Analysis tool JCProfilerNext: [[https://github.com/lzaoral/JCProfilerNext | Github repository]]
  * Security certificate analysis:
    * [[https://drive.google.com/file/d/1aM0RWnvzDAVovtDo0w1riDi1wxv_UuEM/view?usp=drive_link | Analysis scripts ]]
    * [[https://drive.google.com/file/d/1wLZezb4kovlFkUjUcKwtdXNPa7C2bMTF/view?usp=drive_link | Seccerts.org dataset ]]