Keyword: Cryptoimplementations

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

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

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