Petr Svenda

@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://www.sciencedirect.com/science/article/pii/S0167404824001974},
  keywords = {sec-certs},
  edition = {volume 710},
  editor = {Nikolaos Pitropakis, Sokratis Katsikas, Steven Furnell, Konstantinos Markantonakis},
}

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

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

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

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

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

@InProceedings{2022-jcalgtest-svenda,
  title = {JCAlgTest: Robust identification metadata for certified smartcards},
  author = {Petr Svenda and Rudolf Kvasnovsky and Imrich Nagy and Antonin Dufka},
  booktitle = {19th International Conference on Security and Cryptography},
  pages = {597--604},
  publisher = {INSTICC},
  address = {Lisabon},
  location = {Lisabon},
  year = {2022},
  isbn = {978-989-758-590-6},
  doi = {10.5220/0000163500003283},
  keywords = {smartcards, javacard},
  language = {eng},
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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