~~NOTOC~~ ====== Keyword: Javacard ====== If you have published anything not in the list, please add the bibliography entry to the list. Instructions can be found in the [[https://gitlab.fi.muni.cz/labak/wiki-publications|GitLab repository]] Note down also the information on rejections and authorship percentages. We keep track of our lab efforts and author shares are useful for dissertation proposal/dissertation/habilitation/... There is a [[:internal:crocs:submissions|dedicated page where to write them]]. ==== 2024==== * **Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation**\\ [[:publications:authors:antonin-dufka|Antonin Dufka]], [[:publications:authors:jakub-janku|Jakub Janku]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //Proceedings of the 19th International Conference on Availability, Reliability and Security//, Association for Computing Machinery, 2024.\\ Keywords: [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:smpc|smpc]], [[:publications:keywords:cryptocurrencies|cryptocurrencies]], [[:publications:keywords:javacard|javacard]], [[:publications:keywords:e-cash|e-cash]], {{:publications:pdf:2024-trustbus-dufka.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3664476.3670889|DOI website]], [[https://doi.org/10.1145/3664476.3670889|paper website]], ++ BibTeX |@InProceedings{2024-trustbus-dufka, title = {Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation}, author = {Antonin Dufka and Jakub Janku and Petr Svenda}, booktitle = {Proceedings of the 19th International Conference on Availability, Reliability and Security}, publisher = {Association for Computing Machinery}, year = {2024}, isbn = {9798400717185}, doi = {10.1145/3664476.3670889}, url = {https://doi.org/10.1145/3664476.3670889}, keywords = {smartcards, SMPC, cryptocurrencies, javacard, e-cash}, } ++ ==== 2023==== * **Enabling Efficient Threshold Signature Computation via Java Card API**\\ [[:publications:authors:antonin-dufka|Antonin Dufka]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //Proceedings of the 18th International Conference on Availability, Reliability and Security//, Association for Computing Machinery, 2023, 11-20.\\ Keywords: [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:smpc|smpc]], [[:publications:keywords:cryptocurrencies|cryptocurrencies]], [[:publications:keywords:javacard|javacard]], {{:publications:pdf:2023-ares-dufka.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3600160.3600180|DOI website]], ++ BibTeX |@InProceedings{2023-ares-dufka, title = {Enabling Efficient Threshold Signature Computation via Java Card API}, author = {Antonin Dufka and Petr Svenda}, booktitle = {Proceedings of the 18th International Conference on Availability, Reliability and Security}, pages = {11-20}, publisher = {Association for Computing Machinery}, year = {2023}, isbn = {9798400707728}, doi = {10.1145/3600160.3600180}, keywords = {smartcards, SMPC, cryptocurrencies, javacard}, } ++ * **The adoption rate of JavaCard features by certified products and open-source projects **\\ [[:publications:authors:lukas-zaoral|Lukas Zaoral]], [[:publications:authors:antonin-dufka|Antonin Dufka]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //Proceedings of the 22nd Smart Card Research and Advanced Application Conference, Lecture Notes in Computer Science, vol 14530//, Springer, 2023, 169--189.\\ Keywords: [[:publications:keywords:cryptographic-hardware|cryptographic hardware]], [[:publications:keywords:javacard|javacard]], [[:publications:keywords:common-criteria|common criteria]], [[:publications:keywords:fips140|fips140]], [[:publications:keywords:smartcards|smartcards]], [[http://dx.doi.org/10.1007/978-3-031-54409-5_9|DOI website]], ++ BibTeX |@InProceedings{2023-cardis-javacard, title = {The adoption rate of JavaCard features by certified products and open-source projects }, author = {Lukas Zaoral and Antonin Dufka and Petr Svenda}, booktitle = {Proceedings of the 22nd Smart Card Research and Advanced Application Conference, Lecture Notes in Computer Science, vol 14530}, pages = {169--189}, publisher = {Springer}, year = {2023}, isbn = {978-3-031-54409-5}, doi = {10.1007/978-3-031-54409-5_9}, keywords = {Cryptographic Hardware, javacard, common criteria, fips140, smartcards}, language = {eng}, } ++ ==== 2022==== * **JCAlgTest: Robust identification metadata for certified smartcards**\\ [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:rudolf-kvasnovsky|Rudolf Kvasnovsky]], [[:publications:authors:imrich-nagy|Imrich Nagy]] and [[:publications:authors:antonin-dufka|Antonin Dufka]],\\ //19th International Conference on Security and Cryptography//, INSTICC, 2022, 597--604.\\ Keywords: [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:javacard|javacard]], [[http://dx.doi.org/10.5220/0000163500003283|DOI website]], ++ BibTeX |@InProceedings{2022-jcalgtest-svenda, title = {JCAlgTest: Robust identification metadata for certified smartcards}, author = {Petr Svenda and Rudolf Kvasnovsky and Imrich Nagy and Antonin Dufka}, booktitle = {19th International Conference on Security and Cryptography}, pages = {597--604}, publisher = {INSTICC}, address = {Lisabon}, location = {Lisabon}, year = {2022}, isbn = {978-989-758-590-6}, doi = {10.5220/0000163500003283}, keywords = {smartcards, javacard}, language = {eng}, } ++