Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
Last revisionBoth sides next revision
public:papers:cardis2023 [2023-10-02 06:58] – created xsvendapublic:papers:cardis2023 [2024-01-27 10:23] – [The adoption rate of JavaCard features by certified products and open-source projects [CARDIS 2023]] xjancar
Line 6: Line 6:
 <TEXT size="large"> <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}}\_\_//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>user-circle-o}}\_//Primary contact:// Petr Svenda %%<%%<svenda@fi.muni.cz>%%>%%
Line 18: Line 18:
 <TEXT align="right"> <TEXT align="right">
  
-<button type="warning" icon="fa fa-fw fa-file-pdf-o">{{:publications:pdf:2023-cardis-javacard.pdf|PRE-PRINT PDF}}</button>+<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.pdf|Slides]]</button>
 \_ \_
 <button collapse="bibtex" icon="fa fa-fw fa-file-code-o">BiBTeX</button> <button collapse="bibtex" icon="fa fa-fw fa-file-code-o">BiBTeX</button>
Line 50: Line 52:
  
 ===== Research artifacts (supplementary material) ===== ===== Research artifacts (supplementary material) =====
- +  * Preprint version of the paper: {{:publications:pdf:2023-cardis-javacard.pdf|PRE-PRINT PDF}} 
-  * Analyzed data till June 2023: [[https://github.com/crocs-muni/xxx xxx]] +  * Slides from presentation:  {{:publications:pdf:2023-cardis-javacard_slides.pdf|SLIDES}} 
-  * JCProfilerNext: [https://github.com/lzaoral/JCProfilerNext JCProfilerNext]]+  * 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 ]]