Keyword: Smartcards

@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},
  doi = {10.13154/tches.v2020.i4.281-308},
  issn = {2569-2925},
  keywords = {ECC, smartcards, libraries, leakage, side-channel, cryptoimplementations},
}

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