Publications

Anonymous (anonymous@undisclosed.example.com) — 2026-08-03T11:26:21+00:00

Publications

2026

CoinJoin ecosystem insights for Wasabi 1. x, Wasabi 2. x and Whirlpool coordinator-based privacy mixers
Petr Svenda, Jiri Gavenda, Vasilios Mavroudis and Chris Hicks,
Proceedings on Privacy Enhancing Technologies, 2026, 557–592.
Keywords: bitcoin, coinjoin, cryptocurrencies, DOI website, BibTeX

@Article{2026-pets-svenda,
  title = {CoinJoin ecosystem insights for Wasabi 1. x, Wasabi 2. x and Whirlpool coordinator-based privacy mixers},
  author = {Petr Svenda and Jiri Gavenda and Vasilios Mavroudis and Chris Hicks},
  journal = {Proceedings on Privacy Enhancing Technologies},
  volume = {2},
  pages = {557--592},
  year = {2026},
  doi = {10.56553/popets-2026-0061},
  keywords = {bitcoin, coinjoin, cryptocurrencies},
}

Details

CoolTest: Randomness test suited for small data volumes
Jiří Gavenda and Marek Sýs,
Computers & Security, 2026, 1-11.
Keywords: randomness, p-value, distinguishers, DOI website, BibTeX

@article{2026-cose-gavenda,
  title = {CoolTest: Randomness test suited for small data volumes},
  author = {Jiří Gavenda and Marek Sýs},
  journal = {Computers & Security},
  volume = {170},
  pages = {1-11},
  year = {2026},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2026.104986},
  keywords = {randomness, p-value, distinguishers},
}

Securing Organisational Digital Identity: A Full-Lifecycle Approach to Distributed Key Management
Mariia Bakhtina, Jan Kvapil, Petr Svenda and Raimundas Matulevicius,
International Journal of Information Security, 2026, 131.
Keywords: distributed control, key management, organisational digital identity, security, threshold signatures, zero trust, DOI website, BibTeX

@Article{2026-caiseextension-bakhtina,
  title = {Securing Organisational Digital Identity: A Full-Lifecycle Approach to Distributed Key Management},
  author = {Mariia Bakhtina and Jan Kvapil and Petr Svenda and Raimundas Matulevicius},
  journal = {International Journal of Information Security},
  volume = {25},
  pages = {131},
  year = {2026},
  doi = {10.1007/s10207-026-01291-5},
  number = {4},
  issn = {1615-5270},
  keywords = {distributed control, key management, organisational digital identity, security, threshold signatures, zero trust},
  abstract = {Organisational Digital Identity (ODI) commonly relies on keys controlled by a single entity, creating a single point of failure and preventing organisations from cryptographically enforcing custom access policies. Migrating to fully decentralised identity infrastructures is costly and time-consuming, especially in regulated e-governance systems. This paper addresses these limitations through an Information Systems Engineering contribution: the design and experimental validation of a Distributed Key Management System (DKMS) that secures a centrally managed, PKI-based ODI without replacing the existing infrastructure. Rather than introducing new cryptographic primitives, the DKMS selects and composes existing threshold signature schemes to cover the complete key management lifecycle, from generation and operational usage through to post-operational archiving, recovery, and destruction. Partial custody through threshold signatures distributes control over an organisation's signing key among multiple semi-trusted representatives, while remaining fully backwards compatible with standard RSA and ECDSA verification. A semi-automated signer mechanism is introduced to enforce human-in-the-loop policies without prohibitive latency. The design is validated through a proof-of-concept implementation for the X-Road data exchange system, evaluated across RSA and ECDSA threshold groups of sizes 2-of-2, 3-of-5, and 11-of-15. Results show that RSA-based DKMS achieves round-trip times comparable to single-party hardware tokens, confirming DKMS-based signing as a practical, zero-trust alternative to single-controller identity management.},
}

2025

Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
Jiri Gavenda, Petr Svenda, Stanislav Bobon and Vladimir Sedlacek,
Computer Security – ESORICS 2025, Springer Nature Switzerland, 2025, 126–146.
Keywords: bitcoin, coinjoin, cryptocurrencies, pre-print PDF, DOI website, BibTeX

@InProceedings{2025-esorics-gavenda,
  title = {Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values},
  author = {Jiri Gavenda and Petr Svenda and Stanislav Bobon and Vladimir Sedlacek},
  booktitle = {Computer Security -- ESORICS 2025},
  pages = {126--146},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  year = {2025},
  isbn = {978-3-032-07901-5},
  doi = {10.1007/978-3-032-07901-5_7},
  keywords = {bitcoin, coinjoin, cryptocurrencies},
  abstract = {A coinjoin protocol aims to increase transactional privacy for Bitcoin and Bitcoin-like blockchains via collaborative transactions, by violating assumptions behind common analysis heuristics. Estimating the resulting privacy gain is a crucial yet unsolved problem due to a range of influencing factors and large computational complexity.},
  editor = {Vincent Nicomette and Abdelmalek Benzekri and Nora Boulahia-Cuppens and Jaideep Vaidya},
}

Details

BarraCUDA: Edge GPUs do Leak DNN Weights
Peter Horvath, Łukasz Chmielewski, Léo Weissbart, Lejla Batina and Yuval Yarom,
Proceedings of the 34th USENIX Security Symposium, USENIX Association, 2025.
Keywords: side-channel, neural networks, gpus, sca, paper website, BibTeX

@InProceedings{2025-usenixsecurity-horvath,
  title = {BarraCUDA: Edge GPUs do Leak DNN Weights},
  author = {Peter Horvath and Łukasz Chmielewski and Léo Weissbart and Lejla Batina and Yuval Yarom},
  booktitle = {Proceedings of the 34th USENIX Security Symposium},
  publisher = {USENIX Association},
  year = {2025},
  url = {https://www.usenix.org/conference/usenixsecurity25/presentation/horvath},
  keywords = {side-channel, neural networks, GPUs, sca},
}

Chapter 10: Chapter ROCA and Minerva Vulnerabilities
Jan Jancar, Petr Svenda and Marek Sys,
Embedded Cryptography vol. 3, Wiley-ISTE, 2025.
Keywords: smartcards, vulnerability, rsa, ecdsa, side-channel, DOI website, paper website, BibTeX

@InProceedings{2025-bookembeeddcrypto-vulns,
  title = {Chapter 10: Chapter ROCA and Minerva Vulnerabilities},
  author = {Jan Jancar and Petr Svenda and Marek Sys},
  booktitle = {Embedded Cryptography vol. 3},
  publisher = {Wiley-ISTE},
  year = {2025},
  isbn = {978-1-394-35193-0},
  doi = {doi.org/10.1002/9781394351930.ch10},
  url = {https://dx.doi.org/10.1002/9781394351930},
  keywords = {smartcards, vulnerability, RSA, ECDSA, side-channel},
}

Chapter 10: Protected ECC Implementations
Lukasz Chmielewski and Louiza Papachristodoulou,
Embedded Cryptography vol. 2, Wiley-ISTE, 2025.
Keywords: side-channel, ecc, cryptoimplementations, DOI website, paper website, BibTeX

@InProceedings{2025-bookembeeddcrypto-ecc,
  title = {Chapter 10: Protected ECC Implementations},
  author = {Lukasz Chmielewski and Louiza Papachristodoulou},
  booktitle = {Embedded Cryptography vol. 2},
  publisher = {Wiley-ISTE},
  year = {2025},
  isbn = {978-1-394-35190-9},
  doi = {10.1002/9781394351909.ch10},
  url = {https://doi.org/10.1002/9781394351909.ch10},
  keywords = {side-channel, ECC, cryptoimplementations},
}

CoolTest: Improved Randomness Testing Using Boolean Functions
Jiri Gavenda and Marek Sys,
ICT Systems Security and Privacy Protection, Springer Nature Switzerland, 2025, 3-17.
Keywords: randomness, p-value, distinguishers, BibTeX

@InProceedings{2025-ifipsec-gavenda,
  title = {CoolTest: Improved Randomness Testing Using Boolean Functions},
  author = {Jiri Gavenda and Marek Sys},
  editor = {Nemec Zlatolas, Lili and Rannenberg, Kai and Welzer, Tatjana and Garcia-Alfaro, Joaquin},
  booktitle = {ICT Systems Security and Privacy Protection},
  year = {2025},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  pages = {3-17},
  isbn = {978-3-031-92886-4},
  keywords = {randomness, p-value, distinguishers},
}

ECTester: Reverse-engineering side-channel countermeasures of ECC implementations
Vojtech Suchanek, Jan Jancar, Jan Kvapil, Petr Svenda and Lukasz Chmielewski,
IACR Transactions on Cryptographic Hardware and Embedded Systems, Ruhr-University of Bochum, 2025, 290-316.
Keywords: side-channel, ecc, DOI website, paper website, BibTeX

@InProceedings{2025-ches-suchanek,
  title = {ECTester: Reverse-engineering side-channel countermeasures of ECC implementations},
  author = {Vojtech Suchanek and Jan Jancar and Jan Kvapil and Petr Svenda and Lukasz Chmielewski},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher = {Ruhr-University of Bochum},
  year = {2025},
  keywords = {side-channel, ECC},
  doi = {10.46586/tches.v2025.i4.290-316},
  url = {https://tches.iacr.org/index.php/TCHES/article/view/12411},
  pages = {290-316},
}

Details

Large-scale security analysis of hardware wallets
Milan Sorf, Petr Svenda and Lukasz Chmielewski,
Availability, Reliability and Security, Springer LNCS, 2025.
Keywords: hardware wallets, trng, ecdsa, robotic testing, DOI website, BibTeX

@InProceedings{2025-trustbus-sorf,
  title = {Large-scale security analysis of hardware wallets},
  author = {Milan Sorf and Petr Svenda and Lukasz Chmielewski},
  booktitle = {Availability, Reliability and Security},
  publisher = {Springer LNCS},
  year = {2025},
  isbn = {978-3-032-00633-2},
  doi = {https://doi.org/10.1007/978-3-032-00633-2_21},
  keywords = {hardware wallets, trng, ecdsa, robotic testing},
}

Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code
Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira and Peter Schwabe,
IACR Transactions on Cryptographic Hardware and Embedded Systems, Ruhr-University of Bochum, 2025.
Keywords: constant-time, cryptoimplementations, jasmin, pre-print PDF, DOI website, BibTeX

@InProceedings{2025-ches-jancar,
  title = {Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code},
  author = {Santiago Arranz-Olmos and Gilles Barthe and Benjamin Grégoire and Jan Jancar and Vincent Laporte and Tiago Oliveira and Peter Schwabe},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher = {Ruhr-University of Bochum},
  year = {2025},
  keywords = {constant-time, cryptoimplementations, Jasmin},
  doi = {10.46586/tches.v2025.i3.644-667},
}

Details

Revisiting the analysis of references among Common Criteria certified products
Adam Janovsky, Lukasz Chmielewski, Petr Svenda, Jan Jancar and Vashek Matyas,
Computers & Security, 2025.
Keywords: sec-certs, DOI website, paper website, BibTeX

@Article{2025-revisiting-janovsky,
  title = {Revisiting the analysis of references among Common Criteria certified products},
  author = {Adam Janovsky and Lukasz Chmielewski and Petr Svenda and Jan Jancar and Vashek Matyas},
  journal = {Computers & Security},
  volume = {152},
  year = {2025},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2025.104362},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404825000513},
  keywords = {sec-certs},
}

Details

Two-party ECDSA with JavaCard-based smartcards
Antonin Dufka, Peeter Laud and Petr Svenda,
Applied Cryptography and Network Security: 23rd International Conference on Applied Cryptography and Network, Springer, 2025.
Keywords: smartcards, smpc, ecdsa, javacard, DOI website, paper website, BibTeX

@InProceedings{2025-acns-dufka,
  title = {Two-party ECDSA with JavaCard-based smartcards},
  author = {Antonin Dufka and Peeter Laud and Petr Svenda},
  booktitle = {Applied Cryptography and Network Security: 23rd International Conference on Applied Cryptography and Network},
  publisher = {Springer},
  year = {2025},
  isbn = {978-3-031-95764-2},
  doi = {10.1007/978-3-031-95764-2_7},
  url = {http://dx.doi.org/10.1007/978-3-031-95764-2_7},
  keywords = {smartcards, SMPC, ECDSA, javacard},
}

2024

Breaking DPA-protected Kyber via the pair-pointwise multiplication
Estuardo Alpirez Bock, Gustavo Banegas, Chris Brzuska, Lukasz Chmielewski, Kirthivaasan Puniamurthy and Milan Šorf,
Applied Cryptography and Network Security, Springer Nature, 2024.
Keywords: pqc, side-channel, BibTeX

@Article{2024-acns-bock,
  title = {Breaking DPA-protected Kyber via the pair-pointwise multiplication},
  author = {Estuardo Alpirez Bock and Gustavo Banegas and Chris Brzuska and Lukasz Chmielewski and Kirthivaasan Puniamurthy and Milan Šorf},
  booktitle = {Applied Cryptography and Network Security},
  publisher = {Springer Nature},
  year = {2024},
  keywords = {PQC, side-channel},
}

CNN architecture extraction on edge GPU
Péter Horváth, Lukasz Chmielewski, Lejla Batina, Léo Weissbart and Yuval Yarom,
Artificial Intelligence in Hardware Security (AIHWS) Workshop affiliated with ACNS, Springer Nature, 2024.
Keywords: side-channel, BibTeX

@InProceedings{2024-aihws-horvath,
  title = {{CNN} architecture extraction on edge {GPU}},
  author = {Péter Horváth and Lukasz Chmielewski and Lejla Batina and Léo Weissbart and Yuval Yarom},
  booktitle = {Artificial Intelligence in Hardware Security (AIHWS) Workshop affiliated with ACNS},
  publisher = {Springer Nature},
  year = {2024},
  keywords = {side-channel},
}

Chain of Trust: Unraveling References Among Common Criteria Certified Products
Adam Janovsky, Lukasz Chmielewski, Petr Svenda, Jan Jancar and Vashek Matyas,
IFIP International Conference on ICT Systems Security and Privacy Protection, Springer Nature Switzerland, 2024.
Keywords: sec-certs, DOI website, paper website, BibTeX

@InProceedings{2024-ifipsec-janovsky,
  title = {Chain of Trust: Unraveling References Among Common Criteria Certified Products},
  author = {Adam Janovsky and Lukasz Chmielewski and Petr Svenda and Jan Jancar and Vashek Matyas},
  booktitle = {IFIP International Conference on ICT Systems Security and Privacy Protection},
  pages = {},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  year = {2024},
  isbn = {978-3-031-65175-5},
  doi = {10.1007/978-3-031-65175-5_14},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-65175-5_14},
  keywords = {sec-certs},
  edition = {volume 710},
  editor = {Nikolaos Pitropakis, Sokratis Katsikas, Steven Furnell, Konstantinos Markantonakis},
}

Details

Decompose and conquer: ZVP attacks on GLV curves
Vojtech Suchánek, Vladimir Sedlacek and Marek Sys,
Applied Cryptography and Network Security, Springer Nature, 2024.
Keywords: ecc, side-channel, bitcoin, pre-print PDF, BibTeX

@Article{2024-acns-suchanek-dcp,
  title = {Decompose and conquer: {ZVP} attacks on {GLV} curves},
  author = {Vojtech Suchánek and Vladimir Sedlacek and Marek Sys},
  booktitle = {Applied Cryptography and Network Security},
  publisher = {Springer Nature},
  year = {2024},
  keywords = {ECC, side-channel, bitcoin},
}

Details

TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
Petr Svenda, Antonin Dufka, Milan Broz, Roman Lacko, Tomas Jaros, Daniel Zatovic and Josef Pospisil,
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2024, 714–734.
Keywords: tpm, rsa, ecc, cc, fips140, sidechannel, pre-print PDF, DOI website, paper website, BibTeX

@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},
}

Details

The Power of Many: Securing Organisational Identity Through Distributed Key Management
Mariia Bakhtina, Jan Kvapil, Petr Svenda and Raimundas Matulevicius,
Advanced Information Systems Engineering, Springer Nature Switzerland, 2024, 475–491.
Keywords: distributed control, key management, organisational digital identity, security, threshold signatures, zero trust, pre-print PDF, DOI website, BibTeX

@InProceedings{2024-caise-bakhtina,
  title = {The Power of Many: Securing Organisational Identity Through Distributed Key Management},
  author = {Mariia Bakhtina and Jan Kvapil and Petr Svenda and Raimundas Matulevicius},
  booktitle = {Advanced Information Systems Engineering},
  pages = {475--491},
  publisher = {Springer Nature Switzerland},
  location = {Cham},
  isbn = {978-3-031-61057-8},
  doi = {10.1007/978-3-031-61057-8_28},
  keywords = {distributed control, key management, organisational digital identity, security, threshold signatures, zero trust},
  shorttitle = {The Power of Many},
  abstract = {Organisational Digital Identity ({ODI}) often relies on the credentials and keys being controlled by a single person-representative. Moreover, some Information Systems ({IS}) outsource the key management to a third-party controller. Both the centralisation and outsourcing of the keys threaten data integrity within the {IS}, allegedly provided by a trusted organisation. Also, outsourcing the control prevents an organisation from cryptographically enforcing custom policies, e.g. time-based, regarding the data originating from it. To address this, we propose a Distributed Key Management System ({DKMS}) that eliminates the risks associated with centralised control over an organisation’s identity and allows organisation-enforceable policies. The {DKMS} employs threshold signatures to directly involve multiple organisation’s representatives (e.g. employees, {IS} components, and external custodians) in data signing on its behalf. The threshold signature creation and,
therefore, the custom signing policy inclusion, is fully backwards compatible with commonly used signing schemes, such as {RSA} or {ECDSA}. The feasibility of the proposed system is shown in an example data exchange system, X-Road. The implementation confirms the ability of the design to achieve distributed control over the {ODI} during the operational key phase. Excluding a network delay, the implementation introduces less than 200 ms overhead compared to the built-in signing solution.},
  editor = {Guizzardi, Giancarlo and Santoro, Flavia and Mouratidis, Haralambos and Soffer, Pnina},
  date = {2024},
  langid = {english},
}

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

Two-factor authentication time: How time-efficiency and time-satisfaction are associated with perceived security and satisfaction
Agata Kruzikova, Michal Muzik, Lenka Knapova, Lenka Dedkova, David Smahel and Vashek Matyas,
Computers \& Security, 2024, 103667.
Keywords: usablesec, authentication, DOI website, paper website, BibTeX

@Article{2024-compsec-kruzikova,
  title = {Two-factor authentication time: How time-efficiency and time-satisfaction are associated with perceived security and satisfaction},
  author = {Agata Kruzikova and Michal Muzik and Lenka Knapova and Lenka Dedkova and David Smahel and Vashek Matyas},
  journal = {Computers \& Security},
  volume = {138},
  pages = {103667},
  year = {2024},
  issn = {0167-4048},
  doi = {https://doi.org/10.1016/j.cose.2023.103667},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404823005771},
  keywords = {usablesec, authentication},
}

pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
Jan Jancar, Vojtech Suchanek, Petr Svenda, Vladimir Sedlacek and Lukasz Chmielewski,
IACR Transactions on Cryptographic Hardware and Embedded Systems, Ruhr-University of Bochum, 2024, 355–381.
Keywords: side-channel, ecc, pre-print PDF, DOI website, paper website, BibTeX

@InProceedings{2024-ches-jancar,
  title = {pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis},
  author = {Jan Jancar and Vojtech Suchanek and Petr Svenda and Vladimir Sedlacek and Lukasz Chmielewski},
  booktitle = {IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher = {Ruhr-University of Bochum},
  year = {2024},
  keywords = {side-channel,ecc},
  doi = {10.46586/tches.v2024.i4.355-381},
  url = {https://tches.iacr.org/index.php/TCHES/article/view/11796},
  pages = {355–381},
}

Details

sec-certs: Examining the security certification practice for better vulnerability mitigation
Adam Janovsky, Jan Jancar, Petr Svenda, Lukasz Chmielewski, Jiri Michalik and Vashek Matyas,
Computers & Security, 2024.
Keywords: sec-certs, DOI website, paper website, BibTeX

@Article{2023-seccerts-janovsky,
  title = {sec-certs: Examining the security certification practice for better vulnerability mitigation},
  author = {Adam Janovsky and Jan Jancar and Petr Svenda and Lukasz Chmielewski and Jiri Michalik and Vashek Matyas},
  journal = {Computers & Security},
  volume = {143},
  year = {2024},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2024.103895},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404824001974},
  keywords = {sec-certs},
}

Details

“These results must be false”: A usability evaluation of constant-time analysis tools
Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque and Yasemin Acar,
Proceedings of the 33rd USENIX Security Symposium, USENIX Association, 2024.
Keywords: constant-time, cryptoimplementations, usablesec, libraries, side-channel, pre-print PDF, BibTeX

@InProceedings{2024-usenix-jancar,
  title = {“These results must be false”: A usability evaluation of constant-time analysis tools},
  author = {Marcel Fourné and Daniel De Almeida Braga and Jan Jancar and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre-Alain Fouque and Yasemin Acar},
  booktitle = {Proceedings of the 33rd USENIX Security Symposium},
  publisher = {USENIX Association},
  year = {2024},
  keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel},
}

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

Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations
Ben Nassi, Ofek Vayner, Etay Iluz, Dudi Nassi, Or Hai Cohen, Jan Jancar, Daniel Genkin, Eran Tromer, Boris Zadov and Yuval Elovici,
30th ACM Conference on Computer and Communications Security (CCS'2023), ACM, 2023, 268–280.
Keywords: cryptolibs, leakage, side-channel, cryptoimplementations, DOI website, BibTeX

@InProceedings{2023-ccs-jancar,
  title = {Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations},
  author = {Ben Nassi and Ofek Vayner and Etay Iluz and Dudi Nassi and Or Hai Cohen and Jan Jancar and Daniel Genkin and Eran Tromer and Boris Zadov and Yuval Elovici},
  booktitle = {30th ACM Conference on Computer and Communications Security (CCS'2023)},
  pages = {268–280},
  publisher = {ACM},
  address = {New York, NY, USA},
  year = {2023},
  isbn = {9798400700507},
  doi = {10.1145/3576915.3616620},
  keywords = {cryptolibs, leakage, side-channel, cryptoimplementations},
}

ProMETHEUS: A Secure Lightweight Spectrum Allocation Protocol against SSDF Attacks in Cognitive Radio IoT Networks
Milan Patnaik, K. Bharati and Vashek Matyas,
IEEE Commun. Lett., 2023, 2919–2923.
Keywords: iot, DOI website, paper website, BibTeX

@Article{dblp:journals/icl/patnaikbm23,
  title = {ProMETHEUS: {A} Secure Lightweight Spectrum Allocation Protocol against {SSDF} Attacks in Cognitive Radio IoT Networks},
  author = {Milan Patnaik and K. Bharati and Vashek Matyas},
  journal = {{IEEE} Commun. Lett.},
  volume = {27},
  number = {11},
  pages = {2919--2923},
  year = {2023},
  doi = {10.1109/LCOMM.2023.3317335},
  url = {https://doi.org/10.1109/LCOMM.2023.3317335},
  keywords = {IoT},
}

SoK: SCA-secure ECC in software - mission impossible?
Lejla Batina, Lukasz Chmielewski, Björn Haase, Niels Samwel and Peter Schwabe,
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023, 557–589.
Keywords: ecc, side-channel, DOI website, BibTeX

@Article{2023-ches-sok,
  title = {SoK: SCA-secure {ECC} in software - mission impossible?},
  author = {Lejla Batina and Lukasz Chmielewski and Björn Haase and Niels Samwel and Peter Schwabe},
  journal = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.},
  volume = {2023},
  number = {1},
  pages = {557--589},
  year = {2023},
  doi = {10.46586/TCHES.V2023.I1.557-589},
  keywords = {ECC, side-channel},
}

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},
}

2022

A Bad Day to Die Hard: Correcting the Dieharder Battery
Marek Sys, Lubomir Obratil, Vashek Matyas and Dusan Klinec,
Journal of Cryptology, Springer, 2022, 1–20.
Keywords: dieharder battery, randomness, p-value, kolmogorov-smirnov test, DOI website, BibTeX

@Article{2022-journalofcryptology-sys,
  title = {A Bad Day to Die Hard: Correcting the Dieharder Battery},
  author = {Marek Sys and Lubomir Obratil and Vashek Matyas and Dusan Klinec},
  journal = {Journal of Cryptology},
  volume = {35},
  number = {1},
  pages = {1--20},
  publisher = {Springer},
  year = {2022},
  doi = {https://doi.org/10.1007/s00145-021-09414-y},
  keywords = {Dieharder battery, randomness, p-value, Kolmogorov-Smirnov test},
}

A Longitudinal Study of Cryptographic API: A Decade of Android Malware
Adam Janovsky, Davide Maiorca, Dominik Macko, Vashek Matyas and Giorgio Giacinto,
Proceedings of the 19th International Conference on Security and Cryptography, 2022, 121–133.
Keywords: cryptolibs, malware, android, paper website, BibTeX

@InProceedings{2022-secrypt-janovsky,
  title = {{A Longitudinal Study of Cryptographic API: A Decade of Android Malware}},
  author = {Adam Janovsky and Davide Maiorca and Dominik Macko and Vashek Matyas and Giorgio Giacinto},
  booktitle = {Proceedings of the 19th International Conference on Security and Cryptography},
  pages = {121--133},
  year = {2022},
  isbn = {978-989-758-590-6},
  issn = {2184-7711},
  url = {https://github.com/adamjanovsky/AndroidMalwareCrypto},
  keywords = {cryptolibs, malware, Android},
}

Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors
Martin Ukrop, Michaela Balážová, Pavol Žáčik, Eric Vincent Valčík and Vashek Matyas,
Proceedings of the 2022 European Symposium on Usable Security, ACM, 2022, 131-144.
Keywords: usablesec, red-hat, pre-print PDF, DOI website, BibTeX

@InProceedings{2022-eurousec-ukrop,
  title = {Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors},
  author = {Martin Ukrop and Michaela Balážová and Pavol Žáčik and Eric Vincent Valčík and Vashek Matyas},
  booktitle = {Proceedings of the 2022 European Symposium on Usable Security},
  series = {EuroUSEC '22},
  pages = {131-144},
  publisher = {ACM},
  location = {Karlsruhe, Germany},
  year = {2022},
  doi = {10.1145/3549015.3554296},
  keywords = {usablesec, Red-Hat},
}

Details

Comparing Nonresponders and Responders of Online Intercept Surveys: A Large-Scale Experimental ICT Security-Related Study
Lenka Knapova, David Smahel, Lenka Dedkova and Vashek Matyas,
Human Behavior and Emerging Technologies, Hindawi, 2022, 3107621.
Keywords: usablesec, DOI website, paper website, BibTeX

@Article{2022-hbet-knapova,
  title = {Comparing Nonresponders and Responders of Online Intercept Surveys: A Large-Scale Experimental ICT Security-Related Study},
  author = {Lenka Knapova and David Smahel and Lenka Dedkova and Vashek Matyas},
  journal = {Human Behavior and Emerging Technologies},
  volume = {2022},
  pages = {3107621},
  publisher = {Hindawi},
  year = {2022},
  issn = {2578-1863},
  doi = {10.1155/2022/3107621},
  url = {https://doi.org/10.1155/2022/3107621},
  keywords = {usablesec},
  month = {July},
  day = {28},
}

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

@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},
}

Details

Even if users do not read security directives, their behavior is not so catastrophic
Vashek Matyas, Kamil Malinka, Lydia Kraus, Lenka Knapova and Agata Kruzikova,
Communications of the ACM, ACM, 2022, 37–40.
Keywords: usablesec, directive, DOI website, BibTeX

@Article{2022-cacm-matyas,
  title = {Even if users do not read security directives, their behavior is not so catastrophic},
  author = {Vashek Matyas and Kamil Malinka and Lydia Kraus and Lenka Knapova and Agata Kruzikova},
  journal = {Communications of the ACM},
  volume = {65},
  number = {1},
  pages = {37--40},
  publisher = {ACM},
  year = {2022},
  doi = {10.1145/3471928},
  keywords = {usablesec, directive},
}

Details

Experience with Abrupt Transition to Remote Teaching of Embedded Systems
Jan Koniarik, Daniel Dlhopolcek and Martin Ukrop,
Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education, ACM, 2022.
pre-print PDF, DOI website, paper website, BibTeX

@InProceedings{2022-iticse-koniarik,
  title = {Experience with Abrupt Transition to Remote Teaching of Embedded Systems},
  author = {Jan Koniarik and Daniel Dlhopolcek and Martin Ukrop},
  booktitle = {Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education},
  series = {ITiCSE ’22},
  publisher = {ACM},
  location = {Dublin, Ireland},
  year = {2022},
  doi = {10.1145/3502718.3524821},
  url = {https://github.com/koniarik/teaching-embedded-remotely},
}

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},
}

Details

Large-scale randomness study of security margins for 100+ cryptographic functions
Dusan Klinec, Marek Sys, Karel Kubicek, Petr Svenda and Vashek Matyas,
INSTICC, 2022, 134–146.
DOI website, BibTeX

@InProceedings{2022-securitymargins-secrypt,
  title = {Large-scale randomness study of security margins for 100+ cryptographic functions},
  author = {Dusan Klinec and Marek Sys and Karel Kubicek and Petr Svenda and Vashek Matyas},
  pages = {134--146},
  publisher = {INSTICC},
  location = {Lisabon},
  year = {2022},
  isbn = {978-989-758-590-6},
  doi = {10.5220/0000163500003283},
  conference = {19th International Conference on Security and Cryptography (SECRYPT 2022)},
}

Protecting the Most Significant Bits in Scalar Multiplication Algorithms
Estuardo Alpirez Bock, Lukasz Chmielewski and Konstantina Miteloudi,
Security, Privacy, and Applied Cryptography Engineering - 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings, Springer, 2022, volume 13783 of Lecture Notes in Computer Science, 118–137.
DOI website, BibTeX

@InProceedings{2022-space-msb,
  title = {Protecting the Most Significant Bits in Scalar Multiplication Algorithms},
  author = {Estuardo Alpirez Bock and Lukasz Chmielewski and Konstantina Miteloudi},
  booktitle = {Security, Privacy, and Applied Cryptography Engineering - 12th International Conference, {SPACE} 2022, Jaipur, India, December 9-12, 2022, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {13783},
  pages = {118--137},
  publisher = {Springer},
  year = {2022},
  doi = {10.1007/978-3-031-22829-2\_7},
}

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

@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},
}

Details

Usability Insights from Establishing TLS Connections
Lydia Kraus, Matej Grabovsky, Martin Ukrop, Katarina Galanska and Vashek Matyas,
ICT Systems Security and Privacy Protection, Springer International Publishing, 2022.
Keywords: usablesec, pre-print PDF, DOI website, BibTeX

@InProceedings{2022-ifipsec-kraus,
  title = {Usability Insights from Establishing TLS Connections},
  author = {Lydia Kraus and Matej Grabovsky and Martin Ukrop and Katarina Galanska and Vashek Matyas},
  booktitle = {ICT Systems Security and Privacy Protection},
  series = {IFIP Advances in Information and Communication Technology},
  publisher = {Springer International Publishing},
  year = {2022},
  doi = {10.1007/978-3-031-06975-8_17},
  keywords = {usablesec},
}

Details

Usable and secure? User perception of four authentication methods for mobile banking
Agata Kruzikova, Lenka Knapova, David Smahel, Lenka Dedkova and Vashek Matyas,
Computers \& Security, 2022, 102603.
Keywords: usablesec, tacr, authentication, DOI website, paper website, BibTeX

@Article{2022-compsec-kruzikova,
  title = {Usable and secure? User perception of four authentication methods for mobile banking},
  author = {Agata Kruzikova and Lenka Knapova and David Smahel and Lenka Dedkova and Vashek Matyas},
  journal = {Computers \& Security},
  volume = {115},
  pages = {102603},
  year = {2022},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2022.102603},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404822000025},
  keywords = {usablesec, TACR, authentication},
}

“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque and Yasemin Acar,
43rd IEEE Symposium on Security and Privacy, IEEE, 2022.
Keywords: constant-time, cryptoimplementations, usablesec, libraries, side-channel, pre-print PDF, BibTeX

@InProceedings{2022-sp-jancar,
  title = {“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks},
  author = {Jan Jancar and Marcel Fourné and Daniel De Almeida Braga and Mohamed Sabt and Peter Schwabe and Gilles Barthe and Pierre-Alain Fouque and Yasemin Acar},
  booktitle = {43rd IEEE Symposium on Security and Privacy},
  publisher = {IEEE},
  address = {San Francisco},
  location = {San Francisco},
  year = {2022},
  keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel},
}

Details

2021

A formula for disaster: a unified approach to elliptic curve special-point-based attacks
Vladimir Sedlacek, Jesús-Javier Chi-Domínguez, Jan Jancar and Billy Bob Brumley,
Advances in Cryptology – ASIACRYPT 2021, Springer, 2021.
Keywords: ecc, cryptoimplementations, libraries, side-channel, pre-print PDF, BibTeX

@InProceedings{2021-asiacrypt-formulas,
  title = {A formula for disaster: a unified approach to elliptic curve special-point-based attacks},
  author = {Vladimir Sedlacek and Jesús-Javier Chi-Domínguez and Jan Jancar and Billy Bob Brumley},
  booktitle = {Advances in Cryptology – ASIACRYPT 2021},
  publisher = {Springer},
  year = {2021},
  isbn = {978-3-030-64837-4},
  keywords = {ECC, cryptoimplementations, libraries, side-channel},
}

Details

Challenges Faced by Teaching Assistants in Computer Science Education Across Europe
Emma Riese, Madeleine Loras, Martin Ukrop and Tomas Effenberger,
Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education, ACM, 2021.
pre-print PDF, DOI website, BibTeX

@InProceedings{2021-iticse-riese,
  title = {Challenges Faced by Teaching Assistants in Computer Science Education Across Europe},
  author = {Emma Riese and Madeleine Loras and Martin Ukrop and Tomas Effenberger},
  booktitle = {Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education},
  series = {ITiCSE ’21},
  publisher = {ACM},
  location = {Padeborn, Germany},
  year = {2021},
  doi = {10.1145/3430665.3456304},
}

Details

How Do Users Chain Email Accounts Together?
Lydia Kraus, Maria Svidronova and Elizabeth Stobert,
IFIP International Conference on ICT Systems Security and Privacy Protection, Springer, Cham, 2021.
Keywords: usablesec, pre-print PDF, BibTeX

@InProceedings{2021-ifipsec-kraus,
  title = {How Do Users Chain Email Accounts Together?},
  author = {Lydia Kraus and Maria Svidronova and Elizabeth Stobert},
  booktitle = {IFIP International Conference on ICT Systems Security and Privacy Protection},
  pages = {},
  publisher = {Springer, Cham},
  year = {2021},
  keywords = {usablesec},
}

Details

The Stack: Unplugged Activities for Teaching Computer Science (poster)
Valdemar Svabensky and Martin Ukrop,
Proceedings of the 52nd ACM Technical Symposium on Computer Science Education, ACM, 2021.
pre-print PDF, DOI website, BibTeX

@InProceedings{2021-sigcse-svabensky,
  title = {The Stack: Unplugged Activities for Teaching Computer Science (poster)},
  author = {Valdemar Svabensky and Martin Ukrop},
  booktitle = {Proceedings of the 52nd ACM Technical Symposium on Computer Science Education},
  series = {SIGCSE ’21},
  publisher = {ACM},
  location = {Virtual},
  year = {2021},
  isbn = {978-1-4503-8062-1},
  doi = {10.1145/3408877.3439569},
}

Details

Who Is Smart with Their Smartphones? Determinants of Smartphone Security Behavior
Lenka Knapova, Agata Kruzikova, Lenka Dedkova and David Smahel,
Cyberpsychology, Behavior, and Social Networking, Mary Ann Liebert, Inc., 2021, 584-592.
Keywords: usablesec, paper website, BibTeX

@Article{2021-cyberpsychology-knapova,
  title = {Who Is Smart with Their Smartphones? Determinants of Smartphone Security Behavior},
  author = {Lenka Knapova and Agata Kruzikova and Lenka Dedkova and David Smahel},
  journal = {Cyberpsychology, Behavior, and Social Networking},
  pages = {584-592},
  publisher = {Mary Ann Liebert, Inc.},
  year = {2021},
  url = {https://www.liebertpub.com/doi/full/10.1089/cyber.2020.0599},
  keywords = {usablesec},
}

2020

Biased RSA private keys: Origin attribution of GCD-factorable keys
Adam Janovsky, Matus Nemec, Petr Svenda, Peter Sekan and Vashek Matyas,
25th European Symposium on Research in Computer Security (ESORICS) 2020, Springer, 2020.
Keywords: rsa, bias, classification, smartcard, cryptoimplementations, BibTeX

@InProceedings{2020-esorics-privrsabias,
  title = {Biased RSA private keys: Origin attribution of GCD-factorable keys},
  author = {Adam Janovsky and Matus Nemec and Petr Svenda and Peter Sekan and Vashek Matyas},
  booktitle = {25th European Symposium on Research in Computer Security (ESORICS) 2020},
  publisher = {Springer},
  year = {2020},
  keywords = {RSA, bias, classification, smartcard, cryptoimplementations},
}

Details

Evolution of SSL/TLS Indicators and Warnings in Web Browsers
Lydia Kraus, Martin Ukrop, Vashek Matyas and Tobias Fiebig,
27th International Workshop on Security Protocols (SPW 2019), Springer International Publishing, 2020, 267–280.
Keywords: usablesec, pre-print PDF, DOI website, BibTeX

@InProceedings{2019-spw-kraus,
  title = {Evolution of SSL/TLS Indicators and Warnings in Web Browsers},
  author = {Lydia Kraus and Martin Ukrop and Vashek Matyas and Tobias Fiebig},
  booktitle = {27th International Workshop on Security Protocols (SPW 2019)},
  pages = {267--280},
  publisher = {Springer International Publishing},
  year = {2020},
  doi = {10.1007/978-3-030-57043-9_25},
  keywords = {usablesec},
}

Details

Fooling primality tests on smartcards
Vladimir Sedlacek, Jan Jancar and Petr Svenda,
25th European Symposium on Research in Computer Security (ESORICS) 2020, Springer, 2020.
Keywords: ecc, primality, pseudoprimes, smartcards, cryptoimplementations, pre-print PDF, DOI website, BibTeX

@InProceedings{2020-esorics-foolingprimes,
  title = {Fooling primality tests on smartcards},
  author = {Vladimir Sedlacek and Jan Jancar and Petr Svenda},
  booktitle = {25th European Symposium on Research in Computer Security (ESORICS) 2020},
  publisher = {Springer},
  year = {2020},
  doi = {10.1007/978-3-030-59013-0\_11},
  keywords = {ECC, primality, pseudoprimes, smartcards, cryptoimplementations},
}

Details

JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets
Vasilios Mavroudis and Petr Svenda,
IEEE, 2020, 64–71.
Keywords: ecc, smartcards, opentools, smpc, DOI website, BibTeX

@Article{2020-jcmathlib-cybercert,
  title = {JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets},
  author = {Vasilios Mavroudis and Petr Svenda},
  volume = {61},
  number = {2},
  pages = {64--71},
  publisher = {IEEE},
  year = {2020},
  doi = {10.1109/EuroSPW51379.2020.00022},
  keywords = {ECC, smartcards, opentools, smpc},
  conference = {First International Workshop on Lightweight and Incremental Cybersecurity Certification},
}

Details

Minerva: The curse of ECDSA nonces; Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces
Jan Jancar, Vladimir Sedlacek, Petr Svenda and Marek Sys,
Conference on Cryptographic Hardware and Embedded Systems (CHES) 2020, Ruhr-University of Bochum, Transactions on Cryptographic Hardware and Embedded Systems, 2020.
Keywords: ecc, smartcards, libraries, leakage, side-channel, cryptoimplementations, DOI website, BibTeX

@InProceedings{2020-tches-minerva,
  title = {Minerva: The curse of ECDSA nonces; Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces},
  author = {Jan Jancar and Vladimir Sedlacek and Petr Svenda and Marek Sys},
  booktitle = {Conference on Cryptographic Hardware and Embedded Systems (CHES) 2020},
  publisher = {Ruhr-University of Bochum, Transactions on Cryptographic Hardware and Embedded Systems},
  year = {2020},
  issn = {2569-2925},
  doi = {10.13154/tches.v2020.i4.281-308},
  keywords = {ECC, smartcards, libraries, leakage, side-channel, cryptoimplementations},
}

Details

Privacy-Friendly Monero Transaction Signing on a Hardware Wallet
Dusan Klinec and Vashek Matyas,
ICT Systems Security and Privacy Protection - 35th IFIP TC 11 International Conference, SEC 2020, Maribor, Slovenia, September 21-23, 2020, Proceedings, Springer, 2020, volume 580 of {IFIP} Advances in Information and Communication Technology, 338–351.
Keywords: monero, bulletproofs, hardware wallets, cryptocurrency, cryptoimplementations, smpc, pre-print PDF, DOI website, BibTeX

@InProceedings{2020-ifipsec-klinec,
  title = {Privacy-Friendly Monero Transaction Signing on a Hardware Wallet},
  author = {Dusan Klinec and Vashek Matyas},
  booktitle = {{ICT} Systems Security and Privacy Protection - 35th {IFIP} {TC} 11 International Conference, {SEC} 2020, Maribor, Slovenia, September 21-23, 2020, Proceedings},
  series = {{IFIP} Advances in Information and Communication Technology},
  volume = {580},
  pages = {338--351},
  publisher = {Springer},
  year = {2020},
  doi = {10.1007/978-3-030-58201-2\_23},
  keywords = {Monero, Bulletproofs, hardware wallets, cryptocurrency, cryptoimplementations, SMPC},
}

Details

Teaching Lab: Training Novice Computer Science Teachers (poster)
Martin Ukrop, Valdemar Svabensky and Imrich Nagy,
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ACM, 2020.
pre-print PDF, DOI website, BibTeX

@InProceedings{2020-iticse-ukrop,
  title = {Teaching Lab: Training Novice Computer Science Teachers (poster)},
  author = {Martin Ukrop and Valdemar Svabensky and Imrich Nagy},
  booktitle = {Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education},
  series = {ITiCSE ’20},
  publisher = {ACM},
  location = {Trondheim, Norway},
  year = {2020},
  isbn = {978-1-4503-6874-2},
  doi = {10.1145/3341525.3393967},
}

Details

User Testing of Mobile Banking Authentication Methods: UX Testing, User Interviews and Quantitative Survey
Agata Kruzikova, Lenka Knapova, Ondrej Gabrhelik, David Smahel, Lenka Dedkova, Vashek Matyas, Petr Dolezal and Martina Smahelova,
Technical report, Masaryk University, 2020.
pre-print PDF, BibTeX

@TechReport{2020-tacr-report,
  title = {User Testing of Mobile Banking Authentication Methods: UX Testing, User Interviews and Quantitative Survey},
  author = {Agata Kruzikova and Lenka Knapova and Ondrej Gabrhelik and David Smahel and Lenka Dedkova and Vashek Matyas and Petr Dolezal and Martina Smahelova},
  publisher = {Technical report, Masaryk University},
  year = {2020},
}

Details

Will You Trust This TLS Certificate? Perceptions of People Working in IT (Extended Version)
Martin Ukrop, Lydia Kraus and Vashek Matyas,
Digital Threats: Research and Practice, Association for Computing Machinery, 2020.
Keywords: usablesec, red-hat, pre-print PDF, DOI website, BibTeX

@Article{2020-dtrap-ukrop,
  title = {Will You Trust This TLS Certificate? Perceptions of People Working in IT (Extended Version)},
  author = {Martin Ukrop and Lydia Kraus and Vashek Matyas},
  journal = {Digital Threats: Research and Practice},
  volume = {1},
  number = {4},
  numpages = {30},
  publisher = {Association for Computing Machinery},
  year = {2020},
  issn = {2692-1626},
  doi = {10.1145/3419472},
  keywords = {usablesec, Red-Hat},
}

Details

2019

BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256
Marek Sys, Dusan Klinec, Karel Kubicek and Petr Svenda,
E-Business and Telecommunications, Springer International Publishing, 2019, 123–149.
Keywords: randomness, hypothesis, boolean, BibTeX

@InProceedings{2019-secrypt2017selected-sys,
  title = {BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256},
  author = {Marek Sys and Dusan Klinec and Karel Kubicek and Petr Svenda},
  booktitle = {E-Business and Telecommunications},
  pages = {123--149},
  publisher = {Springer International Publishing},
  address = {Cham},
  year = {2019},
  isbn = {978-3-030-11039-0},
  keywords = {randomness, hypothesis, boolean},
  editor = {Obaidat, Mohammad S. and Cabello, Enrique},
}

Details

Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques
Vojtech Mrazek, Marek Sys and Petr Svenda,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2019.
Keywords: fpga, genetic-algorithms, randomness, distinguishers, DOI website, BibTeX

@InProceedings{2019-ieeevsli-mrazek,
  title = {Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques},
  author = {Vojtech Mrazek and Marek Sys and Petr Svenda},
  booktitle = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  publisher = {IEEE},
  year = {2019},
  issn = {1557-9999},
  doi = {10.1109/TVLSI.2019.2923848},
  keywords = {FPGA, genetic-algorithms, randomness, distinguishers},
}

Evaluating Dynamic Approaches to Key (Re-)Establishment in Wireless Sensor Networks
Lukas Nemec, Vashek Matyas, Radim Ostadal, Petr Svenda and Pierre-Louis Palant,
Sensors, Multidisciplinary Digital Publishing Institute, 2019.
Keywords: wsn, DOI website, paper website, BibTeX

@Article{2019-sensors-nemec,
  title = {Evaluating Dynamic Approaches to Key (Re-)Establishment in Wireless Sensor Networks},
  author = {Lukas Nemec and Vashek Matyas and Radim Ostadal and Petr Svenda and Pierre-Louis Palant},
  journal = {Sensors},
  volume = {19},
  number = {4},
  publisher = {Multidisciplinary Digital Publishing Institute},
  year = {2019},
  issn = {1424-8220},
  doi = {10.3390/s19040914},
  url = {http://www.mdpi.com/1424-8220/19/4/914},
  keywords = {WSN},
}

I Want to Break Square-free: The 4p−1 Factorization Method and Its RSA Backdoor Viability
Vladimir Sedlacek, Dusan Klinec, Marek Sys, Petr Svenda and Vashek Matyas,
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT, SciTePress, 2019, 25-36.
Keywords: ecc, factorization, smartcards, cryptoimplementations, pre-print PDF, DOI website, BibTeX

@Conference{2019-secrypt-sedlacek,
  title = {I Want to Break Square-free: The 4p−1 Factorization Method and Its RSA Backdoor Viability},
  author = {Vladimir Sedlacek and Dusan Klinec and Marek Sys and Petr Svenda and Vashek Matyas},
  booktitle = {Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT},
  pages = {25-36},
  organization = {INSTICC},
  publisher = {SciTePress},
  year = {2019},
  isbn = {978-989-758-378-0},
  doi = {10.5220/0007786600250036},
  keywords = {ECC, factorization, smartcards, cryptoimplementations},
}

Details

Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
Stefano Calzavara, Riccardo Focardi, Matus Nemec, Alvise Rabitti and Marco Squarcina,
2019 IEEE Symposium on Security and Privacy (SP), IEEE, 2019.
DOI website, BibTeX

@InProceedings{2019-sp-calzavara,
  title = {Postcards from the Post-{HTTP} World: Amplification of {HTTPS} Vulnerabilities in the Web Ecosystem},
  author = {Stefano Calzavara and Riccardo Focardi and Matus Nemec and Alvise Rabitti and Marco Squarcina},
  booktitle = {2019 {IEEE} Symposium on Security and Privacy ({SP})},
  publisher = {IEEE},
  year = {2019},
  doi = {10.1109/sp.2019.00053},
}

Details

Reflective Diary for Professional Development of Novice Teachers
Martin Ukrop, Valdemar Svabensky and Jan Nehyba,
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, ACM, 2019, 1088–1094.
pre-print PDF, DOI website, BibTeX

@InProceedings{2019-sigcse-ukrop,
  title = {Reflective Diary for Professional Development of Novice Teachers},
  author = {Martin Ukrop and Valdemar Svabensky and Jan Nehyba},
  booktitle = {Proceedings of the 50th ACM Technical Symposium on Computer Science Education},
  series = {SIGCSE '19},
  pages = {1088--1094},
  publisher = {ACM},
  address = {New York, NY, USA},
  year = {2019},
  isbn = {978-1-4503-5890-3},
  doi = {10.1145/3287324.3287448},
}

Details

Will You Trust This TLS Certificate? Perceptions of People Working in IT
Martin Ukrop, Lydia Kraus, Vashek Matyas and Heider Ahmad Mutleq Wahsheh,
Proceedings of the 35rd Annual Computer Security Applications Conference (ACSAC'2019), ACM, 2019.
Keywords: usablesec, red-hat, pre-print PDF, DOI website, BibTeX

@InProceedings{2019-acsac-ukrop,
  title = {Will You Trust This TLS Certificate? Perceptions of People Working in IT},
  author = {Martin Ukrop and Lydia Kraus and Vashek Matyas and Heider Ahmad Mutleq Wahsheh},
  booktitle = {Proceedings of the 35rd Annual Computer Security Applications Conference (ACSAC'2019)},
  publisher = {ACM},
  year = {2019},
  doi = {10.1145/3359789.3359800},
  keywords = {usablesec, Red-Hat},
}

Details

2018

A Large-scale Comparative Study of Beta Testers and Regular Users
Vlasta Stavova, Lenka Dedkova, Martin Ukrop and Vashek Matyas,
Communications of the ACM, ACM, 2018, 64–71.
Keywords: usablesec, eset, pre-print PDF, DOI website, BibTeX

@Article{2018-cacm-stavova,
  title = {A Large-scale Comparative Study of Beta Testers and Regular Users},
  author = {Vlasta Stavova and Lenka Dedkova and Martin Ukrop and Vashek Matyas},
  journal = {Communications of the ACM},
  volume = {61},
  number = {2},
  pages = {64--71},
  publisher = {ACM},
  year = {2018},
  doi = {10.1145/3173570},
  keywords = {usablesec, ESET},
}

Details

Adaptive Secrecy Amplification with Radio Channel Key Extraction
Lukas Nemec, Radim Ostadal, Vashek Matyas and Petr Svenda,
2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS), 2018, 123-130.
Keywords: wsn, DOI website, BibTeX

@InProceedings{2018-dcoss-nemec,
  title = {Adaptive Secrecy Amplification with Radio Channel Key Extraction},
  author = {Lukas Nemec and Radim Ostadal and Vashek Matyas and Petr Svenda},
  booktitle = {2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS)},
  pages = {123-130},
  year = {2018},
  issn = {2325-2944},
  doi = {10.1109/DCOSS.2018.00028},
  keywords = {WSN},
}

Entropy Crowdsourcing – Protocols for Link Key Updates in Wireless Sensor Networks
Lukas Nemec, Radim Ostadal, Vashek Matyas and Petr Svenda,
Security Protocols Workshop XXVI, Springer International Publishing, 2018, 84-92.
Keywords: wsn, BibTeX

@InProceedings{2018-spw-nemec,
  title = {Entropy Crowdsourcing -- Protocols for Link Key Updates in Wireless Sensor Networks},
  author = {Lukas Nemec and Radim Ostadal and Vashek Matyas and Petr Svenda},
  booktitle = {Security Protocols Workshop XXVI},
  pages = {84-92},
  publisher = {Springer International Publishing},
  year = {2018},
  isbn = {978-3-030-03251-7},
  keywords = {WSN},
}

Evolving Boolean Functions for Fast and Efficient Randomness Testing
Vojtech Mrazek, Marek Sys, Zdenek Vasicek, Lukas Sekanina and Vashek Matyas,
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18), Association for Computing Machinery, 2018, 1302–1309.
DOI website, BibTeX

@InProceedings{2018-gecco-mrazek,
  title = {Evolving Boolean Functions for Fast and Efficient Randomness Testing},
  author = {Vojtech Mrazek and Marek Sys and Zdenek Vasicek and Lukas Sekanina and Vashek Matyas},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18)},
  pages = {1302--1309},
  publisher = {Association for Computing Machinery},
  location = {Kyoto, JP},
  year = {2018},
  isbn = {978-1-4503-5618-3},
  doi = {10.1145/3205455.3205518},
}

Experimental large-scale review of attractors for detection of potentially unwanted applications
Vlasta Stavova, Lenka Dedkova, Vashek Matyas, Mike Just, David Smahel and Martin Ukrop,
Computers \& Security, 2018, 92–100.
Keywords: usablesec, eset, gamu, DOI website, paper website, BibTeX

@Article{2018-compsec-statova,
  title = {Experimental large-scale review of attractors for detection of potentially unwanted applications},
  author = {Vlasta Stavova and Lenka Dedkova and Vashek Matyas and Mike Just and David Smahel and Martin Ukrop},
  journal = {Computers \& Security},
  volume = {76},
  pages = {92--100},
  year = {2018},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2018.02.017},
  url = {http://www.sciencedirect.com/science/article/pii/S0167404818301640},
  keywords = {usablesec, ESET, GAMU},
}

Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability
Martin Ukrop and Vashek Matyas,
Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018, Springer International Publishing, 2018, 45–64.
Keywords: usablesec, red-hat, pre-print PDF, DOI website, BibTeX

@InBook{2018-rsa-ukrop,
  title = {Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability},
  author = {Martin Ukrop and Vashek Matyas},
  booktitle = {Topics in Cryptology -- CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018},
  pages = {45--64},
  publisher = {Springer International Publishing},
  year = {2018},
  doi = {10.1007/978-3-319-76953-0_3},
  keywords = {usablesec, Red-Hat},
}

Details

2017

A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
Vasilios Mavroudis, Andrea Cerulli, Petr Svenda, Dan Cvrcek, Dusan Klinec and George Danezis,
24th ACM Conference on Computer and Communications Security (CCS'2017), ACM, 2017, 1583–1600.
Keywords: smartcards, smpc, BibTeX

@InProceedings{2017-ccs-mavroudis,
  title = {A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components},
  author = {Vasilios Mavroudis and Andrea Cerulli and Petr Svenda and Dan Cvrcek and Dusan Klinec and George Danezis},
  booktitle = {24th ACM Conference on Computer and Communications Security (CCS'2017)},
  pages = {1583--1600},
  publisher = {ACM},
  year = {2017},
  isbn = {978-1-4503-4946-8/17/10},
  keywords = {smartcards, SMPC},
}

Details

Factors Influencing the Purchase of Security Software for Mobile Devices – Case Study
Vlasta Stavova, Vashek Matyas, Mike Just and Martin Ukrop,
Infocommunications Journal, 2017, 18–23.
Keywords: usablesec, eset, gamu, pre-print PDF, paper website, BibTeX

@Article{2017-infocomm-stavova,
  title = {Factors Influencing the Purchase of Security Software for Mobile Devices -- Case Study},
  author = {Vlasta Stavova and Vashek Matyas and Mike Just and Martin Ukrop},
  journal = {Infocommunications Journal},
  volume = {9},
  issue = {1},
  pages = {18--23},
  year = {2017},
  url = {http://www.infocommunications.hu/2017_1},
  keywords = {usablesec, ESET, GAMU},
}

Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
Matus Nemec, Dusan Klinec, Petr Svenda, Peter Sekan and Vashek Matyas,
Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC 2017), ACM, 2017.
Keywords: cryptolibs, rsa, fingerprinting, smartcard, cryptoimplementations, DOI website, BibTeX

@InProceedings{2017-acsac-nemec,
  title = {Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans},
  author = {Matus Nemec and Dusan Klinec and Petr Svenda and Peter Sekan and Vashek Matyas},
  booktitle = {Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC 2017)},
  publisher = {ACM},
  year = {2017},
  doi = {10.1145/3134600.3134612},
  keywords = {cryptolibs, RSA, fingerprinting, smartcard, cryptoimplementations},
}

Details

The Efficient Randomness Testing using Boolean Functions
Marek Sys, Dusan Klinec and Petr Svenda,
The 14th International Conference on Security and Cryptography (Secrypt'2017), SCITEPRESS, 2017, 92–103.
Keywords: eacirc, randomness, BibTeX

@InProceedings{2017-secrypt-sys,
  title = {The Efficient Randomness Testing using Boolean Functions},
  author = {Marek Sys and Dusan Klinec and Petr Svenda},
  booktitle = {The 14th International Conference on Security and Cryptography (Secrypt'2017)},
  pages = {92--103},
  publisher = {SCITEPRESS},
  year = {2017},
  isbn = {978-989-758-259-2},
  keywords = {eacirc, randomness},
}

The Return of Coppersmith’s Attack: Practical Factorization of Widely Used RSA Moduli
Matus Nemec, Marek Sys, Petr Svenda, Dusan Klinec and Vashek Matyas,
24th ACM Conference on Computer and Communications Security (CCS'2017), ACM, 2017, 1631–1648.
Keywords: rsa, cryptoimplementations, BibTeX

@InProceedings{2017-ccs-nemec,
  title = {The Return of Coppersmith’s Attack: Practical Factorization of Widely Used RSA Moduli},
  author = {Matus Nemec and Marek Sys and Petr Svenda and Dusan Klinec and Vashek Matyas},
  booktitle = {24th ACM Conference on Computer and Communications Security (CCS'2017)},
  pages = {1631--1648},
  publisher = {ACM},
  year = {2017},
  isbn = {978-1-4503-4946-8/17/10},
  keywords = {RSA, cryptoimplementations},
}

Details

2016

Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm
Marek Sys, Zdenek Riha and Vashek Matyas,
ACM Transactions on Mathematicsl Software, ACM, 2016, 27:1–27:11.
Keywords: randomness, DOI website, BibTeX

@Article{2016-toms-sys,
  title = {{Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm}},
  author = {Marek Sys and Zdenek Riha and Vashek Matyas},
  journal = {ACM Transactions on Mathematicsl Software},
  volume = {43},
  number = {3},
  pages = {27:1--27:11},
  publisher = {ACM},
  year = {2016},
  issn = {0098-3500},
  doi = {10.1145/2988228},
  keywords = {randomness},
}

Attack Detection Using Evolutionary Computation
Martin Stehlik, Vashek Matyas and Andriy Stetsko,
Computational Intelligence in Wireless Sensor Networks: Recent Advances and Future Challenges, Springer series on Studies in Computational Intelligence, 2016.
Keywords: wsn, BibTeX

@InCollection{2016-ciwsn-stehlik,
  title = {Attack Detection Using Evolutionary Computation},
  author = {Martin Stehlik and Vashek Matyas and Andriy Stetsko},
  booktitle = {Computational Intelligence in Wireless Sensor Networks: Recent Advances and Future Challenges},
  publisher = {Springer series on Studies in Computational Intelligence},
  year = {2016},
  keywords = {WSN},
}

Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification Case
Radim Ostadal, Petr Svenda and Vashek Matyas,
International Conference on Cryptology and Network Security (CANS 2016), Springer, 2016.
Keywords: wsn, BibTeX

@InProceedings{2016-cans-ostadal,
  title = {Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping -- Secrecy Amplification Case},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {International Conference on Cryptology and Network Security (CANS 2016)},
  publisher = {Springer},
  year = {2016},
  keywords = {WSN},
}

Avalanche Effect in Improperly Initialized CAESAR Candidates
Martin Ukrop and Petr Svenda,
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016, Open Publishing Association, 2016, volume 233 of Electronic Proceedings in Theoretical Computer Science, 72-81.
Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

@InProceedings{2016-memics-ukrop,
  title = {Avalanche Effect in Improperly Initialized CAESAR Candidates},
  author = {Martin Ukrop and Petr Svenda},
  booktitle = {Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {233},
  pages = {72-81},
  publisher = {Open Publishing Association},
  year = {2016},
  doi = {10.4204/EPTCS.233.7},
  keywords = {eacirc, randomness},
  editor = {Bouda, Jan and Holík, Lukáš and Kofroň, Jan and Strejček, Jan and Rambousek, Adam},
  eventtitle = {MEMICS},
  eventdate = {October 23--25, 2016},
}

Details

Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms
Vlasta Stavova, Vashek Matyas and Mike Just,
IFIP International Conference on Information Security Theory and Practice, 2016, 35–50.
Keywords: usablesec, sodatsw, gamu, DOI website, BibTeX

@InProceedings{2016-wistp-stavova,
  title = {Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms},
  author = {Vlasta Stavova and Vashek Matyas and Mike Just},
  booktitle = {IFIP International Conference on Information Security Theory and Practice},
  pages = {35--50},
  organization = {Springer},
  year = {2016},
  doi = {10.1007/978-3-319-45931-8_3},
  keywords = {usablesec, SODATSW, GAMU},
}

New results on reduced-round Tiny Encryption Algorithm using genetic programming
Karel Kubicek, Jiri Novotny, Petr Svenda and Martin Ukrop,
IEEE Infocommunications, 2016.
Keywords: eacirc, randomness, pre-print PDF, paper website, BibTeX

@Article{2016-infocommunications-kubicek,
  title = {New results on reduced-round Tiny Encryption Algorithm using genetic programming},
  author = {Karel Kubicek and Jiri Novotny and Petr Svenda and Martin Ukrop},
  journal = {IEEE Infocommunications},
  volume = {8},
  issue = {1},
  year = {2016},
  url = {http://www.infocommunications.hu/2016_1},
  keywords = {eacirc, randomness},
}

Details

On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications
Vlasta Stavova, Vashek Matyas and Mike Just,
Euro Usable Security (EuroUSEC) Workshop Programme, 2016.
Keywords: usablesec, eset, pua, gamu, DOI website, BibTeX

@InProceedings{2016-eurousec-stavova,
  title = {On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications},
  author = {Vlasta Stavova and Vashek Matyas and Mike Just},
  booktitle = {Euro Usable Security (EuroUSEC) Workshop Programme},
  organization = {Internet Society},
  year = {2016},
  doi = {10.14722/eurousec.2016.23003},
  keywords = {usablesec, ESET, PUA, GAMU},
}

Randomness Testing: Result Interpretation and Speed
Marek Sys and Vashek Matyas,
The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, Springer Berlin Heidelberg, 2016, 389–395.
DOI website, paper website, BibTeX

@InBook{2016-newcode-sys,
  title = {Randomness Testing: Result Interpretation and Speed},
  author = {Marek Sys and Vashek Matyas},
  booktitle = {The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday},
  pages = {389--395},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  year = {2016},
  isbn = {978-3-662-49301-4},
  doi = {10.1007/978-3-662-49301-4_24},
  url = {https://doi.org/10.1007/978-3-662-49301-4_24},
  editor = {Ryan, Peter Y. A. and Naccache, David and Quisquater, Jean-Jacques},
}

Reconsidering Attacker Models in Ad-hoc Networks
Radim Ostadal, Petr Svenda and Vashek Matyas,
24th International Workshop on Security Protocols (SPW 2016), Springer, 2016.
Keywords: wsn, BibTeX

@InProceedings{2016-spw-ostadal,
  title = {Reconsidering Attacker Models in Ad-hoc Networks},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {24th International Workshop on Security Protocols (SPW 2016)},
  publisher = {Springer},
  year = {2016},
  keywords = {WSN},
}

Details

The Million-Key Question – Investigating the Origins of RSA Public Keys
Petr Svenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek and Vashek Matyas,
FI MU Report Series, FIMU-RS-2016-03, Masaryk University, 2016, 1–83.
Keywords: rsa, BibTeX

@InProceedings{2016-fimunitr201603-svenda,
  title = {The Million-Key Question -- Investigating the Origins of RSA Public Keys},
  author = {Petr Svenda and Matus Nemec and Peter Sekan and Rudolf Kvasnovsky and David Formanek and David Komarek and Vashek Matyas},
  booktitle = {FI MU Report Series, FIMU-RS-2016-03},
  pages = {1--83},
  publisher = {Masaryk University},
  year = {2016},
  keywords = {RSA},
}

Details

The Million-Key Question – Investigating the Origins of RSA Public Keys
Petr Svenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek and Vashek Matyas,
The 25th USENIX Security Symposium (UsenixSec'2016), USENIX, 2016, 893–910.
Keywords: rsa, cryptoimplementations, pre-print PDF, BibTeX

@InProceedings{2016-usenixsec-svenda,
  title = {The Million-Key Question -- Investigating the Origins of RSA Public Keys},
  author = {Petr Svenda and Matus Nemec and Peter Sekan and Rudolf Kvasnovsky and David Formanek and David Komarek and Vashek Matyas},
  booktitle = {The 25th USENIX Security Symposium (UsenixSec'2016)},
  pages = {893--910},
  publisher = {USENIX},
  year = {2016},
  isbn = {978-1-931971-32-4},
  keywords = {RSA, cryptoimplementations},
}

Details

Towards better selective forwarding and delay attacks detection in wireless sensor networks
Martin Stehlik, Vashek Matyas and Andriy Stetsko,
2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC), 2016, 1-6.
Keywords: wsn, DOI website, BibTeX

@InProceedings{2016-icnsc-stehlik,
  title = {Towards better selective forwarding and delay attacks detection in wireless sensor networks},
  author = {Martin Stehlik and Vashek Matyas and Andriy Stetsko},
  booktitle = {2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC)},
  pages = {1-6},
  year = {2016},
  doi = {10.1109/ICNSC.2016.7478978},
  keywords = {WSN},
}

2015

Architecture Considerations for Massively Parallel Hardware Security Platform
Dan Cvrcek and Petr Svenda,
The 5th International Conference on Security, Privacy, and Applied Cryptography Engineering (SPACE–2015), LNCS 9354, Springer, 2015, 269–288.
DOI website, BibTeX

@InProceedings{2015-space-cvrcek,
  title = {Architecture Considerations for Massively Parallel Hardware Security Platform},
  author = {Dan Cvrcek and Petr Svenda},
  booktitle = {The 5th International Conference on Security, Privacy, and Applied Cryptography Engineering (SPACE--2015), LNCS 9354},
  pages = {269--288},
  publisher = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-24126-5_16},
}

Details

Challenges of fiction in network security – perspective of virtualized environments
Vit Bukac, Radim Ostadal, Petr Svenda, Tatevik Baghdasaryan and Vashek Matyas,
Cambridge International Workshop on Security Protocols, Springer, 2015.
BibTeX

@InProceedings{2015-spw-bukac,
  title = {Challenges of fiction in network security -- perspective of virtualized environments},
  author = {Vit Bukac and Radim Ostadal and Petr Svenda and Tatevik Baghdasaryan and Vashek Matyas},
  booktitle = {Cambridge International Workshop on Security Protocols},
  publisher = {Springer},
  year = {2015},
}

DDoSaaS: DDoS jako služba
Vit Bukac, Vlasta Stavova, Lukas Nemec, Zdenek Riha and Vashek Matyas,
IS2: From trends to solutions, Tate International, 2015, 35-39.
Keywords: ddosaas, BibTeX

@InProceedings{2015-is2-bukac,
  title = {DDoSaaS: DDoS jako služba},
  author = {Vit Bukac and Vlasta Stavova and Lukas Nemec and Zdenek Riha and Vashek Matyas},
  booktitle = {IS2: From trends to solutions},
  pages = {35-39},
  publisher = {Tate International},
  address = {Praha},
  location = {Praha},
  year = {2015},
  isbn = {978-80-86813-28-8},
  keywords = {ddosaas},
}

On Secrecy Amplification Protocols
Radim Ostadal, Petr Svenda and Vashek Matyas,
The 9th WISTP International Conference on Information Security Theory and Practice (WISTP–2015), LNCS 9311, Springer, 2015, 3–19.
Keywords: wsn, DOI website, BibTeX

@InProceedings{2015-wistp-ostadal,
  title = {On Secrecy Amplification Protocols},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {The 9th WISTP International Conference on Information Security Theory and Practice (WISTP--2015), LNCS 9311},
  pages = {3--19},
  publisher = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-24018-3 1},
  keywords = {WSN},
}

Details

Service in Denial – Clouds Going with the Winds
Vit Bukac, Vlasta Stavova, Lukas Nemec, Zdenek Riha and Vashek Matyas,
Proceedings of the 9th International Conference on Network and System Security, Springer International Publishing, 2015, 130-143.
Keywords: ddosaas, DOI website, paper website, BibTeX

@InBook{2015-nss-bukac,
  title = {Service in Denial – Clouds Going with the Winds},
  author = {Vit Bukac and Vlasta Stavova and Lukas Nemec and Zdenek Riha and Vashek Matyas},
  booktitle = {Proceedings of the 9th International Conference on Network and System Security},
  pages = {130-143},
  publisher = {Springer International Publishing},
  year = {2015},
  isbn = {978-3-319-25645-0},
  doi = {10.1007/978-3-319-25645-0_9},
  url = {http://dx.doi.org/10.1007/978-3-319-25645-0_9},
  keywords = {ddosaas},
}

The challenge of increasing safe response of antivirus software users
Vlasta Stavova, Vashek Matyas and Kamil Malinka,
International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2015, 133–143.
Keywords: usablesec, eset, gamu, DOI website, BibTeX

@InProceedings{2015-memics-stavova,
  title = {The challenge of increasing safe response of antivirus software users},
  author = {Vlasta Stavova and Vashek Matyas and Kamil Malinka},
  booktitle = {International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science},
  pages = {133--143},
  organization = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-29817-7_12},
  keywords = {usablesec, ESET, GAMU},
}

WSNProtectLayer: Security Middleware for Wireless Sensor Networks
Vashek Matyas, Petr Svenda, Andriy Stetsko, Dusan Klinec, Filip Jurnecka and Martin Stehlik,
Securing Cyber-Physical Systems, CRC Press, 2015, 119-162.
Keywords: wsn, DOI website, BibTeX

@InCollection{2015-scps-matyas,
  title = {{WSNProtectLayer: Security Middleware for Wireless Sensor Networks}},
  author = {Vashek Matyas and Petr Svenda and Andriy Stetsko and Dusan Klinec and Filip Jurnecka and Martin Stehlik},
  booktitle = {Securing Cyber-Physical Systems},
  pages = {119-162},
  publisher = {CRC Press},
  year = {2015},
  isbn = {978-1-4987-0098-6},
  doi = {10.1201/b19311-6},
  keywords = {WSN},
}

2014

A New Approach to SA in Partially Compromised Networks
Radim Ostadal, Petr Svenda and Vashek Matyas,
Security, Privacy, and Applied Cryptography Engineering – 4th Int. Conf., SPACE 2014, LNCS 8804, Springer, 2014.
Keywords: wsn, BibTeX

@InProceedings{2014-space-ostadal,
  title = {A New Approach to SA in Partially Compromised Networks},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {Security, Privacy, and Applied Cryptography Engineering -- 4th Int. Conf., SPACE 2014, LNCS 8804},
  publisher = {Springer},
  year = {2014},
  keywords = {WSN},
}

Constructing empirical tests of randomness
Marek Sys, Petr Svenda, Martin Ukrop and Vashek Matyas,
Proceedings of the 11th International Conference on Security and Cryptography, 2014.
Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

@InProceedings{2014-secrypt-sys,
  title = {Constructing empirical tests of randomness},
  author = {Marek Sys and Petr Svenda and Martin Ukrop and Vashek Matyas},
  booktitle = {Proceedings of the 11th International Conference on Security and Cryptography},
  year = {2014},
  doi = {10.5220/0005023902290237},
  keywords = {eacirc, randomness},
  eventtitle = {ICETE},
}

Determining cryptographic distinguishers for eStream and SHA-3 candidate functions with evolutionary circuits
Petr Svenda, Martin Ukrop and Vashek Matyas,
E-Business and Telecommunications, Springer Berlin Heidelberg, 2014, 290–305.
Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

@InCollection{2014-ccis-svenda,
  title = {Determining cryptographic distinguishers for eStream and SHA-3 candidate functions with evolutionary circuits},
  author = {Petr Svenda and Martin Ukrop and Vashek Matyas},
  booktitle = {E-Business and Telecommunications},
  volume = {456},
  pages = {290--305},
  publisher = {Springer Berlin Heidelberg},
  year = {2014},
  doi = {10.1007/978-3-662-44788-8_17},
  keywords = {eacirc, randomness},
}

Evaluation of key management schemes in wireless sensor networks
Filip Jurnecka, Martin Stehlik and Vashek Matyas,
Security and Trust Management, Springer International Publishing, 2014, 198-203.
Keywords: wsn, DOI website, paper website, BibTeX

@InProceedings{2014-stm-jurnecka,
  title = {Evaluation of key management schemes in wireless sensor networks},
  author = {Filip Jurnecka and Martin Stehlik and Vashek Matyas},
  booktitle = {Security and Trust Management},
  pages = {198-203},
  publisher = {Springer International Publishing},
  address = {Switzerland},
  year = {2014},
  isbn = {978-3-319-11850-5},
  doi = {10.1007/978-3-319-11851-2_16},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11851-2_16},
  keywords = {WSN},
}

Faster Randomness Testing with the NIST Statistical Test Suite
Marek Sys and Zdenek Riha,
International Conference on Security, Privacy, and Applied Cryptography Engineering, 2014, 272–284.
BibTeX

@InProceedings{2014-space-sys,
  title = {Faster Randomness Testing with the NIST Statistical Test Suite},
  author = {Marek Sys and Zdenek Riha},
  booktitle = {International Conference on Security, Privacy, and Applied Cryptography Engineering},
  pages = {272--284},
  organization = {Springer},
  year = {2014},
}

Improving Intrusion Detection Systems for Wireless Sensor Networks
Andriy Stetsko, Tobias Smolka, Vashek Matyas and Martin Stehlik,
Applied Cryptography and Network Security, Springer International Publishing, 2014, volume 8479 of Lecture Notes in Computer Science, 343-360.
Keywords: wsn, DOI website, BibTeX

@InCollection{2014-ssms-stetsko,
  title = {Improving Intrusion Detection Systems for Wireless Sensor Networks},
  author = {Andriy Stetsko and Tobias Smolka and Vashek Matyas and Martin Stehlik},
  booktitle = {Applied Cryptography and Network Security},
  series = {Lecture Notes in Computer Science},
  volume = {8479},
  pages = {343-360},
  publisher = {Springer International Publishing},
  year = {2014},
  isbn = {978-3-319-07535-8},
  doi = {10.1007/978-3-319-07536-5_21},
  keywords = {WSN},
}

On Node Capturing Attacker Strategies
Filip Jurnecka, Martin Stehlik and Vashek Matyas,
Security Protocols XXII - 22nd International Workshop Cambridge, UK, March 19-21, 2014. Revised Selected Papers, Springer LNCS, 2014, 300-315.
Keywords: wsn, DOI website, BibTeX

@InProceedings{2014-spw-jurnecka,
  title = {On Node Capturing Attacker Strategies},
  author = {Filip Jurnecka and Martin Stehlik and Vashek Matyas},
  booktitle = {Security Protocols {XXII} - 22nd International Workshop Cambridge, UK, March 19-21, 2014. Revised Selected Papers},
  pages = {300-315},
  publisher = {Springer LNCS},
  year = {2014},
  doi = {10.1007/978-3-319-12400-1_29},
  keywords = {WSN},
}

2013

Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks
Martin Stehlik, Adam Saleh, Andriy Stetsko and Vashek Matyas,
Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2013, 569-576.
Keywords: wsn, paper website, BibTeX

@InProceedings{2013-sssm-stehlik,
  title = {Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks},
  author = {Martin Stehlik and Adam Saleh and Andriy Stetsko and Vashek Matyas},
  booktitle = {Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems},
  pages = {569-576},
  publisher = {MIT Press},
  address = {Cambridge, MA 02142-1493 USA},
  year = {2013},
  isbn = {978-0-262-31709-2},
  url = {http://mitpress.mit.edu/sites/default/files/titles/content/ecal13/ch082.html},
  keywords = {WSN},
}

On the origin of yet another channel
Petr Svenda and Vashek Matyas,
Springer, 2013.
Keywords: eacirc, pre-print PDF, BibTeX

@InProceedings{2013-spw-svenda,
  title = {On the origin of yet another channel},
  author = {Petr Svenda and Vashek Matyas},
  organization = {Faculty of Informatics Masaryk University},
  publisher = {Springer},
  year = {2013},
  keywords = {eacirc},
  eventtitle = {Twenty-first International Workshop on Security Protocols},
  eventdate = {2013-03-19},
}

Towards cryptographic function distinguishers with evolutionary circuits
Petr Svenda, Martin Ukrop and Vashek Matyas,
Proceedings of the 10th International Conference on Security and Cryptography, 2013, 135–146.
Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

@InProceedings{2013-secrypt-svenda,
  title = {Towards cryptographic function distinguishers with evolutionary circuits},
  author = {Petr Svenda and Martin Ukrop and Vashek Matyas},
  booktitle = {Proceedings of the 10th International Conference on Security and Cryptography},
  pages = {135--146},
  year = {2013},
  doi = {10.5220/0004524001350146},
  keywords = {eacirc, randomness},
  eventtitle = {ICETE},
}

2012

Evolutionary Design of Message Efficient Secrecy Amplification Protocols
Tobias Smolka, Petr Svenda, Lukas Sekanina and Vashek Matyas,
Genetic Programming, Berlin: Springer Verlag, 2012, 194–205.
Keywords: wsn, BibTeX

@InProceedings{2012-gp-smolka,
  title = {Evolutionary Design of Message Efficient Secrecy Amplification Protocols},
  author = {Tobias Smolka and Petr Svenda and Lukas Sekanina and Vashek Matyas},
  booktitle = {Genetic Programming},
  pages = {194--205},
  publisher = {Berlin: Springer Verlag},
  year = {2012},
  keywords = {WSN},
}

Two improvements of random key predistribution for wireless sensor networks
Jiri Kur, Vashek Matyas and Petr Svenda,
International Conference on Security and Privacy in Communication Systems, 2012, 61–75.
Keywords: wsn, BibTeX

@InProceedings{2014-securecomm-kur,
  title = {Two improvements of random key predistribution for wireless sensor networks},
  author = {Jiri Kur and Vashek Matyas and Petr Svenda},
  booktitle = {International Conference on Security and Privacy in Communication Systems},
  pages = {61--75},
  organization = {Springer},
  year = {2012},
  keywords = {WSN},
}

2011

Attack detection vs. privacy–How to find the link or how to hide it?
Jiri Kur, Vashek Matyas, Andriy Stetsko and Petr Svenda,
International Workshop on Security Protocols, 2011, 189–199.
Keywords: wsn, BibTeX

@InProceedings{2011-spw-kur,
  title = {Attack detection vs. privacy--How to find the link or how to hide it?},
  author = {Jiri Kur and Vashek Matyas and Andriy Stetsko and Petr Svenda},
  booktitle = {International Workshop on Security Protocols},
  pages = {189--199},
  organization = {Springer},
  year = {2011},
  keywords = {WSN},
}

Calibrating and Comparing Simulators for Wireless Sensor Networks
Andriy Stetsko, Martin Stehlik and Vashek Matyas,
Proceedings of the 8\superscriptth IEEE International Conference on Mobile Adhoc and Sensor Systems, IEEE Computer Society, 2011, 733-738.
Keywords: wsn, BibTeX

@InProceedings{2011-ssm-stetsko,
  title = {Calibrating and Comparing Simulators for Wireless Sensor Networks},
  author = {Andriy Stetsko and Martin Stehlik and Vashek Matyas},
  booktitle = {Proceedings of the 8\superscript{th} IEEE International Conference on Mobile Adhoc and Sensor Systems},
  series = {MASS '11},
  pages = {733-738},
  publisher = {{IEEE} Computer Society},
  address = {Los Alamitos, CA, USA},
  year = {2011},
  isbn = {978-0-7695-4469-4},
  keywords = {WSN},
}

2009

Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks
Andriy Stetsko and Vashek Matyas,
EC2ND 2009 – European Conference on Computer Network Defense, IEEE Computer Society, 2009, 21-28.
Keywords: wsn, BibTeX

@InProceedings{2009-ec2nd-stetsko,
  title = {Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks},
  author = {Andriy Stetsko and Vashek Matyas},
  booktitle = {EC2ND 2009 -- European Conference on Computer Network Defense},
  pages = {21-28},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  year = {2009},
  isbn = {978-0-7695-3983-6},
  keywords = {WSN},
}

Evolutionary design of secrecy amplification protocols for wireless sensor networks
Petr Svenda, Lukas Sekanina and Vashek Matyas,
Proceedings of the second ACM Conference on Wireless Network Security, 2009, 225–236.
Keywords: wsn, BibTeX

@InProceedings{2009-cwsn-svenda,
  title = {Evolutionary design of secrecy amplification protocols for wireless sensor networks},
  author = {Petr Svenda and Lukas Sekanina and Vashek Matyas},
  booktitle = {Proceedings of the second {ACM} Conference on Wireless Network Security},
  pages = {225--236},
  year = {2009},
  keywords = {WSN},
}

CRoCS wiki - publications

Publications

Publications

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2009