@TechReport{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 Łukasz Chmielewski and Jiri Michalik and Vashek Matyas},
  publisher = {arXiv},
  year = {2023},
  doi = {10.48550/arXiv.2311.17603},
  keywords = {sec-certs},
}