Jan Jancar

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

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

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

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

@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},
  language = {eng},
}

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

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

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