~~NOTOC~~


====== Antonin Dufka ======


<ifauth @user>
<callout type="primary" icon="true" title="Add your publications">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]]</callout>

<callout type="success" icon="true" title="Don't forget submission table and author shares">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]].</callout>
</ifauth>

==== 2024====

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips**</text>\\ [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:antonin-dufka|Antonin Dufka]], [[:publications:authors:milan-broz|Milan Broz]], [[:publications:authors:roman-lacko|Roman Lacko]], [[:publications:authors:tomas-jaros|Tomas Jaros]], [[:publications:authors:daniel-zatovic|Daniel Zatovic]] and [[:publications:authors:josef-pospisil|Josef Pospisil]],\\ //IACR Transactions on Cryptographic Hardware and Embedded Systems//, IACR, 2024, 714–734.\\ Keywords: [[:publications:keywords:tpm|tpm]], [[:publications:keywords:rsa|rsa]], [[:publications:keywords:ecc|ecc]], [[:publications:keywords:cc|cc]], [[:publications:keywords:fips140|fips140]], [[:publications:keywords:sidechannel|sidechannel]], {{:publications:pdf:2024-ches-tpmscan.pdf|pre-print PDF}}, [[http://dx.doi.org/10.46586/tches.v2024.i2.714-734|DOI website]], [[https://tches.iacr.org/index.php/TCHES/article/view/11444|paper website]], ++ BibTeX |<code>@InProceedings{2024-ches-tpmscan,
  title = {TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips},
  author = {Petr Svenda and Antonin Dufka and Milan Broz and Roman Lacko and Tomas Jaros and Daniel Zatovic and Josef Pospisil},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  volume = {2024, No. 2},
  pages = {714–734},
  publisher = {IACR},
  year = {2024},
  issn = {ISSN 2569-2925},
  doi = {10.46586/tches.v2024.i2.714-734},
  url = {https://tches.iacr.org/index.php/TCHES/article/view/11444},
  keywords = {tpm, rsa, ecc, CC, fips140, sidechannel},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/public/papers/tpm_ches2024|Details]]</button>
</col></grid>

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation**</text>\\ [[: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 |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/public/papers/jcmint_trustbus24|Details]]</button>
</col></grid>

==== 2023====

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**Enabling Efficient Threshold Signature Computation via Java Card API**</text>\\ [[: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 |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/public/papers/jcfrost_ares23|Details]]</button>
</col></grid>

  * <text size="large">**The adoption rate of JavaCard features by certified products and open-source projects **</text>\\ [[: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 |<code>@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},
}
</code>++

==== 2022====

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits**</text>\\ [[:publications:authors:vladimir-sedlacek|Vladimir Sedlacek]], [[:publications:authors:vojtech-suchanek|Vojtech Suchanek]], [[:publications:authors:antonin-dufka|Antonin Dufka]], [[:publications:authors:marek-sys|Marek Sys]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Progress in Cryptology - AFRICACRYPT 2022//, Springer Nature Switzerland, 2022, 493-517.\\ {{:publications:pdf:2022-africacrypt-sedlacek.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-031-17433-9_21|DOI website]], ++ BibTeX |<code>@InProceedings{2022-africacrypt-sedlacek,
  title = {DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits},
  author = {Vladimir Sedlacek and Vojtech Suchanek and Antonin Dufka and Marek Sys and Vashek Matyas},
  booktitle = {Progress in Cryptology - AFRICACRYPT 2022},
  pages = {493-517},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  year = {2022},
  isbn = {978-3-031-17433-9},
  doi = {10.1007/978-3-031-17433-9_21},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://dissect.crocs.fi.muni.cz|Details]]</button>
</col></grid>

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**JCAlgTest: Robust identification metadata for certified smartcards**</text>\\ [[: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 |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/papers/jcalgtest_secrypt22|Details]]</button>
</col></grid>

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes**</text>\\ [[:publications:authors:antonin-dufka|Antonin Dufka]], [[:publications:authors:vladimir-sedlacek|Vladimir Sedlacek]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //Proceedings of the 19th International Conference on Security and Cryptography//, SCITEPRESS, 2022, 305-316.\\ Keywords: [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:smpc|smpc]], [[:publications:keywords:cryptocurrencies|cryptocurrencies]], {{:publications:pdf:2022-secrypt-shine.pdf|pre-print PDF}}, [[http://dx.doi.org/10.5220/0011145600003283|DOI website]], ++ BibTeX |<code>@InProceedings{2022-secrypt-shine,
  title = {SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes},
  author = {Antonin Dufka and Vladimir Sedlacek and Petr Svenda},
  booktitle = {Proceedings of the 19th International Conference on Security and Cryptography},
  pages = {305-316},
  publisher = {SCITEPRESS},
  year = {2022},
  isbn = {978-989-758-590-6},
  issn = {2184-7711},
  doi = {10.5220/0011145600003283},
  keywords = {smartcards, SMPC, cryptocurrencies},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/papers/shine_secrypt22|Details]]</button>
</col></grid>