~~NOTOC~~
====== Martin Ukrop ======
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]]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]].
==== 2022====
* **Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:michaela-balazova|Michaela Balážová]], [[:publications:authors:pavol-zacik|Pavol Žáčik]], [[:publications:authors:eric-vincent-valcik|Eric Vincent Valčík]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Proceedings of the 2022 European Symposium on Usable Security//, ACM, 2022, 131-144.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:red-hat|red-hat]], {{:publications:pdf:2022-eurousec-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3549015.3554296|DOI website]], ++ BibTeX |@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},
}
++
* **Experience with Abrupt Transition to Remote Teaching of Embedded Systems**\\ [[:publications:authors:jan-koniarik|Jan Koniarik]], [[:publications:authors:daniel-dlhopolcek|Daniel Dlhopolcek]] and [[:publications:authors:martin-ukrop|Martin Ukrop]],\\ //Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education//, ACM, 2022.\\ {{:publications:pdf:2022-iticse-koniarik.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3502718.3524821|DOI website]], [[https://github.com/koniarik/teaching-embedded-remotely|paper website]], ++ BibTeX |@InProceedings{2022-iticse-koniarik,
title = {Experience with Abrupt Transition to Remote Teaching of Embedded Systems},
author = {Jan Koniarik and Daniel Dlhopolcek and Martin Ukrop},
booktitle = {Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education},
series = {ITiCSE ’22},
publisher = {ACM},
location = {Dublin, Ireland},
year = {2022},
doi = {10.1145/3502718.3524821},
url = {https://github.com/koniarik/teaching-embedded-remotely},
}
++
* **Usability Insights from Establishing TLS Connections**\\ [[:publications:authors:lydia-kraus|Lydia Kraus]], [[:publications:authors:matej-grabovsky|Matej Grabovsky]], [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:katarina-galanska|Katarina Galanska]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //ICT Systems Security and Privacy Protection//, Springer International Publishing, 2022.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], {{:publications:pdf:2022-ifipsec-kraus.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-031-06975-8_17|DOI website]], ++ BibTeX |@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},
}
++
==== 2021====
* **Challenges Faced by Teaching Assistants in Computer Science Education Across Europe**\\ [[:publications:authors:emma-riese|Emma Riese]], [[:publications:authors:madeleine-loras|Madeleine Loras]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:tomas-effenberger|Tomas Effenberger]],\\ //Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education//, ACM, 2021.\\ {{:publications:pdf:2021-iticse-riese.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3430665.3456304|DOI website]], ++ BibTeX |@InProceedings{2021-iticse-riese,
title = {Challenges Faced by Teaching Assistants in Computer Science Education Across Europe},
author = {Emma Riese and Madeleine Loras and Martin Ukrop and Tomas Effenberger},
booktitle = {Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education},
series = {ITiCSE ’21},
publisher = {ACM},
location = {Padeborn, Germany},
year = {2021},
doi = {10.1145/3430665.3456304},
}
++
* **The Stack: Unplugged Activities for Teaching Computer Science (poster)**\\ [[:publications:authors:valdemar-svabensky|Valdemar Svabensky]] and [[:publications:authors:martin-ukrop|Martin Ukrop]],\\ //Proceedings of the 52nd ACM Technical Symposium on Computer Science Education//, ACM, 2021.\\ {{:publications:pdf:2021-sigcse-svabensky.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3408877.3439569|DOI website]], ++ BibTeX |@InProceedings{2021-sigcse-svabensky,
title = {The Stack: Unplugged Activities for Teaching Computer Science (poster)},
author = {Valdemar Svabensky and Martin Ukrop},
booktitle = {Proceedings of the 52nd ACM Technical Symposium on Computer Science Education},
series = {SIGCSE ’21},
publisher = {ACM},
location = {Virtual},
year = {2021},
isbn = {978-1-4503-8062-1},
doi = {10.1145/3408877.3439569},
}
++
==== 2020====
* **Evolution of SSL/TLS Indicators and Warnings in Web Browsers**\\ [[:publications:authors:lydia-kraus|Lydia Kraus]], [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:vashek-matyas|Vashek Matyas]] and [[:publications:authors:tobias-fiebig|Tobias Fiebig]],\\ //27th International Workshop on Security Protocols (SPW 2019)//, Springer International Publishing, 2020, 267--280.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], {{:publications:pdf:2019-spw-kraus.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-030-57043-9_25|DOI website]], ++ BibTeX |@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},
}
++
* **Teaching Lab: Training Novice Computer Science Teachers (poster)**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:valdemar-svabensky|Valdemar Svabensky]] and [[:publications:authors:imrich-nagy|Imrich Nagy]],\\ //Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education//, ACM, 2020.\\ {{:publications:pdf:2020-iticse-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3341525.3393967|DOI website]], ++ BibTeX |@InProceedings{2020-iticse-ukrop,
title = {Teaching Lab: Training Novice Computer Science Teachers (poster)},
author = {Martin Ukrop and Valdemar Svabensky and Imrich Nagy},
booktitle = {Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education},
series = {ITiCSE ’20},
publisher = {ACM},
location = {Trondheim, Norway},
year = {2020},
isbn = {978-1-4503-6874-2},
doi = {10.1145/3341525.3393967},
}
++
* **Will You Trust This TLS Certificate? Perceptions of People Working in IT (Extended Version)**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:lydia-kraus|Lydia Kraus]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Digital Threats: Research and Practice//, Association for Computing Machinery, 2020.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:red-hat|red-hat]], {{:publications:pdf:2020-dtrap-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3419472|DOI website]], ++ BibTeX |@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},
}
++
==== 2019====
* **Reflective Diary for Professional Development of Novice Teachers**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:valdemar-svabensky|Valdemar Svabensky]] and [[:publications:authors:jan-nehyba|Jan Nehyba]],\\ //Proceedings of the 50th ACM Technical Symposium on Computer Science Education//, ACM, 2019, 1088--1094.\\ {{:publications:pdf:2019-sigcse-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3287324.3287448|DOI website]], ++ BibTeX |@InProceedings{2019-sigcse-ukrop,
title = {Reflective Diary for Professional Development of Novice Teachers},
author = {Martin Ukrop and Valdemar Svabensky and Jan Nehyba},
booktitle = {Proceedings of the 50th ACM Technical Symposium on Computer Science Education},
series = {SIGCSE '19},
pages = {1088--1094},
publisher = {ACM},
address = {New York, NY, USA},
year = {2019},
isbn = {978-1-4503-5890-3},
doi = {10.1145/3287324.3287448},
}
++
* **Will You Trust This TLS Certificate? Perceptions of People Working in IT**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]], [[:publications:authors:lydia-kraus|Lydia Kraus]], [[:publications:authors:vashek-matyas|Vashek Matyas]] and [[:publications:authors:heider-ahmad-mutleq-wahsheh|Heider Ahmad Mutleq Wahsheh]],\\ //Proceedings of the 35rd Annual Computer Security Applications Conference (ACSAC'2019)//, ACM, 2019.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:red-hat|red-hat]], {{:publications:pdf:2019-acsac-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3359789.3359800|DOI website]], ++ BibTeX |@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},
}
++
==== 2018====
* **A Large-scale Comparative Study of Beta Testers and Regular Users**\\ [[:publications:authors:vlasta-stavova|Vlasta Stavova]], [[:publications:authors:lenka-dedkova|Lenka Dedkova]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Communications of the ACM//, ACM, 2018, 64--71.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:eset|eset]], {{:publications:pdf:2018-cacm-stavova.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1145/3173570|DOI website]], ++ BibTeX |@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},
}
++
* **Experimental large-scale review of attractors for detection of potentially unwanted applications**\\ [[:publications:authors:vlasta-stavova|Vlasta Stavova]], [[:publications:authors:lenka-dedkova|Lenka Dedkova]], [[:publications:authors:vashek-matyas|Vashek Matyas]], [[:publications:authors:mike-just|Mike Just]], [[:publications:authors:david-smahel|David Smahel]] and [[:publications:authors:martin-ukrop|Martin Ukrop]],\\ //Computers \& Security//, 2018, 92--100.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:eset|eset]], [[:publications:keywords:gamu|gamu]], [[http://dx.doi.org/10.1016/j.cose.2018.02.017|DOI website]], [[http://www.sciencedirect.com/science/article/pii/S0167404818301640|paper website]], ++ BibTeX |@Article{2018-compsec-statova,
title = {Experimental large-scale review of attractors for detection of potentially unwanted applications},
author = {Vlasta Stavova and Lenka Dedkova and Vashek Matyas and Mike Just and David Smahel and Martin Ukrop},
journal = {Computers \& Security},
volume = {76},
pages = {92--100},
year = {2018},
issn = {0167-4048},
doi = {10.1016/j.cose.2018.02.017},
url = {http://www.sciencedirect.com/science/article/pii/S0167404818301640},
keywords = {usablesec, ESET, GAMU},
}
++
* **Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Topics in Cryptology -- CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018//, Springer International Publishing, 2018, 45--64.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:red-hat|red-hat]], {{:publications:pdf:2018-rsa-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-319-76953-0_3|DOI website]], ++ BibTeX |@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},
}
++
==== 2017====
* **Factors Influencing the Purchase of Security Software for Mobile Devices -- Case Study**\\ [[:publications:authors:vlasta-stavova|Vlasta Stavova]], [[:publications:authors:vashek-matyas|Vashek Matyas]], [[:publications:authors:mike-just|Mike Just]] and [[:publications:authors:martin-ukrop|Martin Ukrop]],\\ //Infocommunications Journal//, 2017, 18--23.\\ Keywords: [[:publications:keywords:usablesec|usablesec]], [[:publications:keywords:eset|eset]], [[:publications:keywords:gamu|gamu]], {{:publications:pdf:2017-infocomm-stavova.pdf|pre-print PDF}}, [[http://www.infocommunications.hu/2017_1|paper website]], ++ BibTeX |@Article{2017-infocomm-stavova,
title = {Factors Influencing the Purchase of Security Software for Mobile Devices -- Case Study},
author = {Vlasta Stavova and Vashek Matyas and Mike Just and Martin Ukrop},
journal = {Infocommunications Journal},
volume = {9},
issue = {1},
pages = {18--23},
year = {2017},
url = {http://www.infocommunications.hu/2017_1},
keywords = {usablesec, ESET, GAMU},
}
++
==== 2016====
* **Avalanche Effect in Improperly Initialized CAESAR Candidates**\\ [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:petr-svenda|Petr Svenda]],\\ //Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016//, Open Publishing Association, 2016, volume 233 of Electronic Proceedings in Theoretical Computer Science, 72-81.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], {{:publications:pdf:2016-memics-ukrop.pdf|pre-print PDF}}, [[http://dx.doi.org/10.4204/EPTCS.233.7|DOI website]], ++ BibTeX |@InProceedings{2016-memics-ukrop,
title = {Avalanche Effect in Improperly Initialized CAESAR Candidates},
author = {Martin Ukrop and Petr Svenda},
booktitle = {Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {233},
pages = {72-81},
publisher = {Open Publishing Association},
year = {2016},
doi = {10.4204/EPTCS.233.7},
keywords = {eacirc, randomness},
editor = {Bouda, Jan and Holík, Lukáš and Kofroň, Jan and Strejček, Jan and Rambousek, Adam},
eventtitle = {MEMICS},
eventdate = {October 23--25, 2016},
}
++
* **New results on reduced-round Tiny Encryption Algorithm using genetic programming**\\ [[:publications:authors:karel-kubicek|Karel Kubicek]], [[:publications:authors:jiri-novotny|Jiri Novotny]], [[:publications:authors:petr-svenda|Petr Svenda]] and [[:publications:authors:martin-ukrop|Martin Ukrop]],\\ //IEEE Infocommunications//, 2016.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], {{:publications:pdf:2016-infocommunications-kubicek.pdf|pre-print PDF}}, [[http://www.infocommunications.hu/2016_1|paper website]], ++ BibTeX |@Article{2016-infocommunications-kubicek,
title = {New results on reduced-round Tiny Encryption Algorithm using genetic programming},
author = {Karel Kubicek and Jiri Novotny and Petr Svenda and Martin Ukrop},
journal = {IEEE Infocommunications},
volume = {8},
issue = {1},
year = {2016},
url = {http://www.infocommunications.hu/2016_1},
keywords = {eacirc, randomness},
}
++
==== 2014====
* **Constructing empirical tests of randomness**\\ [[: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 |@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**\\ [[: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 |@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},
}
++
* **Determining cryptographic distinguishers for eStream and SHA-3 candidate functions with evolutionary circuits**\\ [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //E-Business and Telecommunications//, Springer Berlin Heidelberg, 2014, 290--305.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], {{:publications:pdf:2014-ccis-svenda.pdf|pre-print PDF}}, [[http://dx.doi.org/10.1007/978-3-662-44788-8_17|DOI website]], ++ BibTeX |@InCollection{2014-ccis-svenda,
title = {Determining cryptographic distinguishers for eStream and SHA-3 candidate functions with evolutionary circuits},
author = {Petr Svenda and Martin Ukrop and Vashek Matyas},
booktitle = {E-Business and Telecommunications},
volume = {456},
pages = {290--305},
publisher = {Springer Berlin Heidelberg},
year = {2014},
doi = {10.1007/978-3-662-44788-8_17},
keywords = {eacirc, randomness},
}
++
==== 2013====
* **Towards cryptographic function distinguishers with evolutionary circuits**\\ [[:publications:authors:petr-svenda|Petr Svenda]], [[:publications:authors:martin-ukrop|Martin Ukrop]] and [[:publications:authors:vashek-matyas|Vashek Matyas]],\\ //Proceedings of the 10th International Conference on Security and Cryptography//, 2013, 135--146.\\ Keywords: [[:publications:keywords:eacirc|eacirc]], [[:publications:keywords:randomness|randomness]], {{:publications:pdf:2013-secrypt-svenda.pdf|pre-print PDF}}, [[http://dx.doi.org/10.5220/0004524001350146|DOI website]], ++ BibTeX |@InProceedings{2013-secrypt-svenda,
title = {Towards cryptographic function distinguishers with evolutionary circuits},
author = {Petr Svenda and Martin Ukrop and Vashek Matyas},
booktitle = {Proceedings of the 10th International Conference on Security and Cryptography},
pages = {135--146},
year = {2013},
doi = {10.5220/0004524001350146},
keywords = {eacirc, randomness},
eventtitle = {ICETE},
}
++