Keyword: Javacard

2024

Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation
Antonin Dufka, Jakub Janku and Petr Svenda,
Proceedings of the 19th International Conference on Availability, Reliability and Security, Association for Computing Machinery, 2024.
Keywords: smartcards, smpc, cryptocurrencies, javacard, e-cash, pre-print PDF, DOI website, 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},
}

Details

2023

Enabling Efficient Threshold Signature Computation via Java Card API
Antonin Dufka and Petr Svenda,
Proceedings of the 18th International Conference on Availability, Reliability and Security, Association for Computing Machinery, 2023, 11-20.
Keywords: smartcards, smpc, cryptocurrencies, javacard, pre-print PDF, 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},
}

Details

The adoption rate of JavaCard features by certified products and open-source projects
Lukas Zaoral, Antonin Dufka and 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: cryptographic hardware, javacard, common criteria, fips140, smartcards, 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
Petr Svenda, Rudolf Kvasnovsky, Imrich Nagy and Antonin Dufka,
19th International Conference on Security and Cryptography, INSTICC, 2022, 597–604.
Keywords: smartcards, javacard, 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},
}

Details