~~NOTOC~~


====== Marek Sys ======


<ifauth @user>
<callout type="primary" icon="true" title="Add your publications">If you have published anything not in the list, please add the bibliography entry to the list.

Instructions can be found in the [[https://gitlab.fi.muni.cz/labak/wiki-publications|GitLab repository]]</callout>

<callout type="success" icon="true" title="Don't forget submission table and author shares">Note down also the information on rejections and authorship percentages. We keep track of our lab efforts and author shares are useful for dissertation proposal/dissertation/habilitation/...

There is a [[:internal:crocs:submissions|dedicated page where to write them]].</callout>
</ifauth>

==== 2022====

  * <text size="large">**A Bad Day to Die Hard: Correcting the Dieharder Battery**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:lubomir-obratil|Lubomir Obratil]], [[:publications:authors:vashek-matyas|Vashek Matyas]] and [[:publications:authors:dusan-klinec|Dusan Klinec]],\\ //Journal of Cryptology//, Springer, 2022, 1--20.\\ Keywords: [[:publications:keywords:dieharder-battery|dieharder battery]], [[:publications:keywords:randomness|randomness]], [[:publications:keywords:p-value|p-value]], [[:publications:keywords:kolmogorov-smirnov-test|kolmogorov-smirnov test]], [[http://dx.doi.org/https://doi.org/10.1007/s00145-021-09414-y|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits**</text>\\ [[:publications:authors:vladimir-sedlacek|Vladimir Sedlacek]], [[:publications:authors:vojtech-suchanek|Vojtech Suchanek]], [[:publications:authors:antonin-dufka|Antonin Dufka]], [[:publications:authors:marek-sys|Marek Sys]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Progress in Cryptology - AFRICACRYPT 2022//, Springer Nature Switzerland, 2022, 493-517.\\ {{:publications:pdf:2022-africacrypt-sedlacek.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-031-17433-9_21|DOI website]], ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://dissect.crocs.fi.muni.cz|Details]]</button>
</col></grid>

  * <text size="large">**Large-scale randomness study of security margins for 100+ cryptographic functions**</text>\\ [[:publications:authors:dusan-klinec|Dusan Klinec]], [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:karel-kubicek|Karel Kubicek]], [[:publications:authors:petr-svenda|Petr Svenda]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ INSTICC, 2022, 134--146.\\ [[http://dx.doi.org/10.5220/0000163500003283|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

==== 2020====

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**Minerva: The curse of ECDSA nonces; Systematic analysis of lattice attacks on noisy leakage of bit-length of ECDSA nonces**</text>\\ [[:publications:authors:jan-jancar|Jan Jancar]], [[:publications:authors:vladimir-sedlacek|Vladimir Sedlacek]], [[:publications:authors:petr-svenda|Petr Svenda]] and [[:publications:authors:marek-sys|Marek Sys]],\\ //Conference on Cryptographic Hardware and Embedded Systems (CHES) 2020//, Ruhr-University of Bochum, Transactions on Cryptographic Hardware and Embedded Systems, 2020.\\ Keywords: [[:publications:keywords:ecc|ecc]], [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:libraries|libraries]], [[:publications:keywords:leakage|leakage]], [[:publications:keywords:side-channel|side-channel]], [[:publications:keywords:cryptoimplementations|cryptoimplementations]], [[http://dx.doi.org/10.13154/tches.v2020.i4.281-308|DOI website]], ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://minerva.crocs.fi.muni.cz|Details]]</button>
</col></grid>

==== 2019====

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:dusan-klinec|Dusan Klinec]], [[:publications:authors:karel-kubicek|Karel Kubicek]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //E-Business and Telecommunications//, Springer International Publishing, 2019, 123--149.\\ Keywords: [[:publications:keywords:randomness|randomness]], [[:publications:keywords:hypothesis|hypothesis]], [[:publications:keywords:boolean|boolean]], ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/papers/Secrypt2017selected|Details]]</button>
</col></grid>

  * <text size="large">**BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:dusan-klinec|Dusan Klinec]], [[:publications:authors:karel-kubicek|Karel Kubicek]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //E-Business and Telecommunications//, Springer International Publishing, 2019, 123--149.\\ Keywords: [[:publications:keywords:randomness|randomness]], [[:publications:keywords:hypothesis|hypothesis]], [[:publications:keywords:boolean|boolean]], ++ BibTeX |<code>@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},
}
</code>++

  * <text size="large">**Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques**</text>\\ [[:publications:authors:vojtech-mrazek|Vojtech Mrazek]], [[:publications:authors:marek-sys|Marek Sys]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //IEEE Transactions on Very Large Scale Integration (VLSI) Systems//, IEEE, 2019.\\ Keywords: [[:publications:keywords:fpga|fpga]], [[:publications:keywords:genetic-algorithms|genetic-algorithms]], [[:publications:keywords:randomness|randomness]], [[:publications:keywords:distinguishers|distinguishers]], [[http://dx.doi.org/10.1109/TVLSI.2019.2923848|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**I Want to Break Square-free: The 4p−1 Factorization Method and Its RSA Backdoor Viability**</text>\\ [[:publications:authors:vladimir-sedlacek|Vladimir Sedlacek]], [[:publications:authors:dusan-klinec|Dusan Klinec]], [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:petr-svenda|Petr Svenda]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Proceedings of the 16th International Joint Conference on e-Business and Telecommunications (ICETE 2019) - Volume 2: SECRYPT//, SciTePress, 2019, 25-36.\\ Keywords: [[:publications:keywords:ecc|ecc]], [[:publications:keywords:factorization|factorization]], [[:publications:keywords:smartcards|smartcards]], [[:publications:keywords:cryptoimplementations|cryptoimplementations]], {{:publications:pdf:2019-secrypt-sedlacek.pdf|pre-print PDF}}, [[http://dx.doi.org/10.5220/0007786600250036|DOI website]], ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/public/papers/Secrypt2019|Details]]</button>
</col></grid>

==== 2018====

  * <text size="large">**Evolving Boolean Functions for Fast and Efficient Randomness Testing**</text>\\ [[:publications:authors:vojtech-mrazek|Vojtech Mrazek]], [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:zdenek-vasicek|Zdenek Vasicek]], [[:publications:authors:lukas-sekanina|Lukas Sekanina]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18)//, Association for Computing Machinery, 2018, 1302--1309.\\ [[http://dx.doi.org/10.1145/3205455.3205518|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

==== 2017====

  * <text size="large">**The Efficient Randomness Testing using Boolean Functions**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:dusan-klinec|Dusan Klinec]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //The 14th International Conference on Security and Cryptography (Secrypt'2017)//, SCITEPRESS, 2017, 92--103.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], ++ BibTeX |<code>@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},
}
</code>++

<grid><col xs="10" sm="10" lg="10">
  * <text size="large">**The Return of Coppersmith’s Attack: Practical Factorization of Widely Used RSA Moduli**</text>\\ [[:publications:authors:matus-nemec|Matus Nemec]], [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:dusan-klinec|Dusan Klinec]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //24th ACM Conference on Computer and Communications Security (CCS'2017)//, ACM, 2017, 1631--1648.\\ Keywords: [[:publications:keywords:rsa|rsa]], [[:publications:keywords:cryptoimplementations|cryptoimplementations]], ++ BibTeX |<code>@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},
}
</code>++
</col><col xs="2" sm="2" lg="2">
<button>[[https://crocs.fi.muni.cz/papers/rsa_ccs17|Details]]</button>
</col></grid>

==== 2016====

  * <text size="large">**Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:zdenek-riha|Zdenek Riha]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //ACM Transactions on Mathematicsl Software//, ACM, 2016, 27:1--27:11.\\ Keywords: [[:publications:keywords:randomness|randomness]], [[http://dx.doi.org/10.1145/2988228|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

  * <text size="large">**Randomness Testing: Result Interpretation and Speed**</text>\\ [[:publications:authors:marek-sys|Marek Sys]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday//, Springer Berlin Heidelberg, 2016, 389--395.\\ [[http://dx.doi.org/10.1007/978-3-662-49301-4_24|DOI website]], [[https://doi.org/10.1007/978-3-662-49301-4_24|paper website]], ++ BibTeX |<code>@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},
}
</code>++

==== 2014====

  * <text size="large">**Constructing empirical tests of randomness**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //2014 11th International Conference on Security and Cryptography (SECRYPT)//, 2014, 1--9.\\ {{:publications:pdf:2014-secrypt-sys.pdf|pre-print PDF}}, ++ BibTeX |<code>@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},
}
</code>++

  * <text size="large">**Constructing empirical tests of randomness**</text>\\ [[:publications:authors:marek-sys|Marek Sys]], [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Proceedings of the 11th International Conference on Security and Cryptography//, 2014.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], {{:publications:pdf:2014-secrypt-sys.pdf|pre-print PDF}}, [[http://dx.doi.org/10.5220/0005023902290237|DOI website]], ++ BibTeX |<code>@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},
}
</code>++

  * <text size="large">**Faster Randomness Testing with the NIST Statistical Test Suite**</text>\\ [[:publications:authors:marek-sys|Marek Sys]] and [[:publications:authors:zdenek-riha|Zdenek Riha]],\\ //International Conference on Security, Privacy, and Applied Cryptography Engineering//, 2014, 272--284.\\ ++ BibTeX |<code>@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},
}
</code>++