Antonin Dufka

  • 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
  • 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
  • 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