Marek Sys

2022

A Bad Day to Die Hard: Correcting the Dieharder Battery
Marek Sys, Lubomir Obratil, Vashek Matyas and Dusan Klinec,
Journal of Cryptology, Springer, 2022, 1–20.
Keywords: dieharder battery, randomness, p-value, kolmogorov-smirnov test, DOI website, BibTeX

@Article{2022-journalofcryptology-sys,
  title = {A Bad Day to Die Hard: Correcting the Dieharder Battery},
  author = {Marek Sys and Lubomir Obratil and Vashek Matyas and Dusan Klinec},
  journal = {Journal of Cryptology},
  volume = {35},
  number = {1},
  pages = {1--20},
  publisher = {Springer},
  year = {2022},
  doi = {https://doi.org/10.1007/s00145-021-09414-y},
  keywords = {Dieharder battery, randomness, p-value, Kolmogorov-Smirnov test},
}

DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits
Vladimir Sedlacek, Vojtech Suchanek, Antonin Dufka, Marek Sys and Vashek Matyas,
Progress in Cryptology - AFRICACRYPT 2022, Springer Nature Switzerland, 2022, 493-517.
pre-print PDF, DOI website, BibTeX

@InProceedings{2022-africacrypt-sedlacek,
  title = {DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits},
  author = {Vladimir Sedlacek and Vojtech Suchanek and Antonin Dufka and Marek Sys and Vashek Matyas},
  booktitle = {Progress in Cryptology - AFRICACRYPT 2022},
  pages = {493-517},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  year = {2022},
  isbn = {978-3-031-17433-9},
  doi = {10.1007/978-3-031-17433-9_21},
}

Details

Large-scale randomness study of security margins for 100+ cryptographic functions
Dusan Klinec, Marek Sys, Karel Kubicek, Petr Svenda and Vashek Matyas,
INSTICC, 2022, 134–146.
DOI website, BibTeX

@InProceedings{2022-securitymargins-secrypt,
  title = {Large-scale randomness study of security margins for 100+ cryptographic functions},
  author = {Dusan Klinec and Marek Sys and Karel Kubicek and Petr Svenda and Vashek Matyas},
  pages = {134--146},
  publisher = {INSTICC},
  location = {Lisabon},
  year = {2022},
  isbn = {978-989-758-590-6},
  doi = {10.5220/0000163500003283},
  conference = {19th International Conference on Security and Cryptography (SECRYPT 2022)},
  language = {eng},
}

2020

Minerva: The curse of ECDSA nonces; Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces
Jan Jancar, Vladimir Sedlacek, Petr Svenda and Marek Sys,
Conference on Cryptographic Hardware and Embedded Systems (CHES) 2020, Ruhr-University of Bochum, Transactions on Cryptographic Hardware and Embedded Systems, 2020.
Keywords: ecc, smartcards, libraries, leakage, side-channel, cryptoimplementations, DOI website, BibTeX

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

Details

2019

BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256
Marek Sys, Dusan Klinec, Karel Kubicek and Petr Svenda,
E-Business and Telecommunications, Springer International Publishing, 2019, 123–149.
Keywords: randomness, hypothesis, boolean, BibTeX

@InProceedings{2019-secrypt2017selected-sys,
  title = {BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256},
  author = {Marek Sys and Dusan Klinec and Karel Kubicek and Petr Svenda},
  booktitle = {E-Business and Telecommunications},
  pages = {123--149},
  publisher = {Springer International Publishing},
  address = {Cham},
  year = {2019},
  isbn = {978-3-030-11039-0},
  keywords = {randomness, hypothesis, boolean},
  editor = {Obaidat, Mohammad S. and Cabello, Enrique},
}

Details

Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques
Vojtech Mrazek, Marek Sys and Petr Svenda,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2019.
Keywords: fpga, genetic-algorithms, randomness, distinguishers, DOI website, BibTeX

@InProceedings{2019-ieeevsli-mrazek,
  title = {Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques},
  author = {Vojtech Mrazek and Marek Sys and Petr Svenda},
  booktitle = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  publisher = {IEEE},
  year = {2019},
  issn = {1557-9999},
  doi = {10.1109/TVLSI.2019.2923848},
  keywords = {FPGA, genetic-algorithms, randomness, distinguishers},
}

I Want to Break Square-free: The 4p−1 Factorization Method and Its RSA Backdoor Viability
Vladimir Sedlacek, Dusan Klinec, Marek Sys, Petr Svenda and Vashek Matyas,
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT, SciTePress, 2019, 25-36.
Keywords: ecc, factorization, smartcards, cryptoimplementations, pre-print PDF, DOI website, BibTeX

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

Details

2018

Evolving Boolean Functions for Fast and Efficient Randomness Testing
Vojtech Mrazek, Marek Sys, Zdenek Vasicek, Lukas Sekanina and Vashek Matyas,
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18), Association for Computing Machinery, 2018, 1302–1309.
DOI website, BibTeX

@InProceedings{2018-gecco-mrazek,
  title = {Evolving Boolean Functions for Fast and Efficient Randomness Testing},
  author = {Vojtech Mrazek and Marek Sys and Zdenek Vasicek and Lukas Sekanina and Vashek Matyas},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18)},
  pages = {1302--1309},
  publisher = {Association for Computing Machinery},
  location = {Kyoto, JP},
  year = {2018},
  isbn = {978-1-4503-5618-3},
  doi = {10.1145/3205455.3205518},
}

2017

The Efficient Randomness Testing using Boolean Functions
Marek Sys, Dusan Klinec and Petr Svenda,
The 14th International Conference on Security and Cryptography (Secrypt'2017), SCITEPRESS, 2017, 92–103.
Keywords: eacirc, randomness, BibTeX

@InProceedings{2017-secrypt-sys,
  title = {The Efficient Randomness Testing using Boolean Functions},
  author = {Marek Sys and Dusan Klinec and Petr Svenda},
  booktitle = {The 14th International Conference on Security and Cryptography (Secrypt'2017)},
  pages = {92--103},
  publisher = {SCITEPRESS},
  year = {2017},
  isbn = {978-989-758-259-2},
  keywords = {eacirc, randomness},
}

The Return of Coppersmith’s Attack: Practical Factorization of Widely Used RSA Moduli
Matus Nemec, Marek Sys, Petr Svenda, Dusan Klinec and Vashek Matyas,
24th ACM Conference on Computer and Communications Security (CCS'2017), ACM, 2017, 1631–1648.
Keywords: rsa, cryptoimplementations, BibTeX

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

Details

2016

Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm
Marek Sys, Zdenek Riha and Vashek Matyas,
ACM Transactions on Mathematicsl Software, ACM, 2016, 27:1–27:11.
Keywords: randomness, DOI website, BibTeX

@Article{2016-toms-sys,
  title = {{Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm}},
  author = {Marek Sys and Zdenek Riha and Vashek Matyas},
  journal = {ACM Transactions on Mathematicsl Software},
  volume = {43},
  number = {3},
  pages = {27:1--27:11},
  publisher = {ACM},
  year = {2016},
  issn = {0098-3500},
  doi = {10.1145/2988228},
  keywords = {randomness},
}

Randomness Testing: Result Interpretation and Speed
Marek Sys and Vashek Matyas,
The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, Springer Berlin Heidelberg, 2016, 389–395.
DOI website, paper website, BibTeX

@InBook{2016-newcode-sys,
  title = {Randomness Testing: Result Interpretation and Speed},
  author = {Marek Sys and Vashek Matyas},
  booktitle = {The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday},
  pages = {389--395},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  year = {2016},
  isbn = {978-3-662-49301-4},
  doi = {10.1007/978-3-662-49301-4_24},
  url = {https://doi.org/10.1007/978-3-662-49301-4_24},
  editor = {Ryan, Peter Y. A. and Naccache, David and Quisquater, Jean-Jacques},
}

2014

Constructing empirical tests of randomness
Marek Sys, Petr Svenda, Martin Ukrop and Vashek Matyas,
2014 11th International Conference on Security and Cryptography (SECRYPT), 2014, 1–9.
pre-print PDF, BibTeX

@InProceedings{2014-secrypt-sys,
  title = {Constructing empirical tests of randomness},
  author = {Marek Sys and Petr Svenda and Martin Ukrop and Vashek Matyas},
  booktitle = {2014 11th International Conference on Security and Cryptography (SECRYPT)},
  pages = {1--9},
  organization = {IEEE},
  year = {2014},
}

Constructing empirical tests of randomness
Marek Sys, Petr Svenda, Martin Ukrop and Vashek Matyas,
Proceedings of the 11th International Conference on Security and Cryptography, 2014.
Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

@InProceedings{2014-secrypt-sys,
  title = {Constructing empirical tests of randomness},
  author = {Marek Sys and Petr Svenda and Martin Ukrop and Vashek Matyas},
  booktitle = {Proceedings of the 11th International Conference on Security and Cryptography},
  year = {2014},
  doi = {10.5220/0005023902290237},
  keywords = {eacirc, randomness},
  eventtitle = {ICETE},
}

Faster Randomness Testing with the NIST Statistical Test Suite
Marek Sys and Zdenek Riha,
International Conference on Security, Privacy, and Applied Cryptography Engineering, 2014, 272–284.
BibTeX

@InProceedings{2014-space-sys,
  title = {Faster Randomness Testing with the NIST Statistical Test Suite},
  author = {Marek Sys and Zdenek Riha},
  booktitle = {International Conference on Security, Privacy, and Applied Cryptography Engineering},
  pages = {272--284},
  organization = {Springer},
  year = {2014},
}