Job offerings - CRoCS

@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},
  pages = {to appear},
  publisher = {USENIX Association},
  year = {2024},
  keywords = {constant-time, cryptoimplementations, usablesec, libraries, side-channel},
}

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

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

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

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

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

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

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

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

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