Differences

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

--- public:papers:cardis2023 [2023-11-10 15:21] – xsvenda
+++ public:papers:cardis2023 [2024-04-16 14:33] (current) – xsvenda
@@ Line 6: / Line 6: @@
 <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>%%>%%
@@ Line 18: / Line 18: @@
 <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>
@@ Line 30: / Line 32: @@
      year = {2023},
      author = {Zaoral, Lukas and Dufka, Antonin and Svenda, Petr},
-     address = {xxx},
+     booktitle = {Proceedings of the 22nd Smart Card Research and Advanced Application Conference, Lecture Notes in Computer Science, vol 14530},
-     booktitle = {Proceedings of the 22nd Smart Card Research and Advanced Application Conference},
+     doi = {10.1007/978-3-031-54409-5_9},
-     doi = {xxx},
      keywords = {Cryptographic Hardware, javacard, common criteria, fips140, smartcards},
      language = {eng},
-     location = {xx},
+     isbn = {978-3-031-54409-5},
-     isbn = {xxx},
+     pages = {169--189},
-     pages = {xx},
      publisher = {Springer}
   }
@@ Line 50: / Line 50: @@
 ===== 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}}
-  * JCProfilerNext: [https://github.com/lzaoral/JCProfilerNext | JCProfilerNext]]
+  * 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 ]]