Antonin Dufka
2024
- TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
Petr Svenda, Antonin Dufka, Milan Broz, Roman Lacko, Tomas Jaros, Dan Zatovic and Jan Pospisil,
IACR Transactions on Cryptographic Hardware and Embedded Systems (2024), IACR, 2024, xx.
Keywords: tpm, rsa, ecc, cc, fips140, sidechannel, DOI website, BibTeX
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
- 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, Springer, 2023, xx.
Keywords: javacard, cc, fips140, smartcards, DOI website, BibTeX
2022
- DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits
Vladimir Sedlacek, Vojtech Suchanek, Antonin Dufka, Marek Sys and Vashek Matyas,
Progress in Cryptology - AFRICACRYPT 2022, Springer Nature Switzerland, 2022, 493-517.
pre-print PDF, DOI website, BibTeX
- 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
- SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes
Antonin Dufka, Vladimir Sedlacek and Petr Svenda,
Proceedings of the 19th International Conference on Security and Cryptography, SCITEPRESS, 2022, 305-316.
Keywords: smartcards, smpc, cryptocurrencies, pre-print PDF, DOI website, BibTeX