doc. RNDr. Petr Švenda, Ph.D.

2025

• Revisiting the analysis of references among Common Criteria certified products

  JANOVSKÝ Adam CHMIELEWSKI Lukasz Michal ŠVENDA Petr JANČÁR Ján MATYÁŠ Václav

  Článek v odborném periodiku

  Computers & Security, rok: 2025, ročník: 2025, vydání: 152, DOI

• Two-party ECDSA with JavaCard-based smartcards

  DUFKA Antonín LAUD Peeter ŠVENDA Petr

  Článek ve sborníku

  Applied Cryptography and Network Security: 23rd International Conference on Applied Cryptography and Network Security, rok: 2025

2024

• Chain of Trust: Unraveling References Among Common Criteria Certified Products

  JANOVSKÝ Adam CHMIELEWSKI Lukasz Michal ŠVENDA Petr JANČÁR Ján MATYÁŠ Václav

  Článek ve sborníku

  ICT Systems Security and Privacy Protection. SEC 2024. IFIP Advances in Information and Communication Technology, rok: 2024

• pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis

  JANČÁR Ján SUCHÁNEK Vojtěch ŠVENDA Petr SEDLÁČEK Vladimír CHMIELEWSKI Lukasz Michal

  Článek ve sborníku

  IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024

• sec-certs: Examining the security certification practice for better vulnerability mitigation

  JANOVSKÝ Adam JANČÁR Ján ŠVENDA Petr CHMIELEWSKI Lukasz Michal MICHALÍK Jiří MATYÁŠ Václav

  Článek v odborném periodiku

  Computers & Security, rok: 2024, ročník: 2024, vydání: 143, DOI

• The adoption rate of JavaCard features by certified products and open-source projects

  ZAORAL Lukáš DUFKA Antonín ŠVENDA Petr

  Článek ve sborníku

  Smart Card Research and Advanced Applications, rok: 2024

• The Power of Many: Securing Organisational Identity Through Distributed Key Management

  BAKHTINA Mariia KVAPIL Jan ŠVENDA Petr MATULEVICIUS Raimundas

  Článek ve sborníku

  Advanced Information Systems Engineering (CAiSE 24), rok: 2024

• TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips

  ŠVENDA Petr DUFKA Antonín BROŽ Milan LACKO Roman JAROŠ Tomáš ZAŤOVIČ Daniel POSPISIL Josef

  Článek ve sborníku

  IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024

• Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation

  DUFKA Antonín JANKŮ Jakub ŠVENDA Petr

  Článek ve sborníku

  Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES '24), rok: 2024

2023

• A Decentralised Public Key Infrastructure for X-Road

  BAKHTINA Mariia LEUNG Kin Long MATULEVICIUS Raimundas AWAD Ahmed ŠVENDA Petr

  Článek ve sborníku

  18TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY & SECURITY, ARES 2023, rok: 2023