Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revisionBoth sides next revision
public:papers:cardis2023 [2023-11-11 17:10] – [Research artifacts (supplementary material)] 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}} 
 +  * 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}}   * 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 | repo]]+  * 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 ]]