Vashek Matyas

@InProceedings{2024-ifipsec-janovsky,
  title = {Chain of trust: Unraveling the references among Common Criteria certified products},
  author = {Adam Janovsky and Lukasz Chmielewski and Petr Svenda and Jan Jancar and Vashek Matyas},
  booktitle = {IFIP International Conference on ICT Systems Security and Privacy Protection},
  pages = {},
  publisher = {Springer International Publishing, accepted for publication},
  year = {2024},
  keywords = {sec-certs},
  url = {https://arxiv.org/abs/2404.14246},
}

@Article{2024-compsec-kruzikova,
  title = {Two-factor authentication time: How time-efficiency and time-satisfaction are associated with perceived security and satisfaction},
  author = {Agata Kruzikova and Michal Muzik and Lenka Knapova and Lenka Dedkova and David Smahel and Vashek Matyas},
  journal = {Computers \& Security},
  volume = {138},
  pages = {103667},
  year = {2024},
  issn = {0167-4048},
  doi = {https://doi.org/10.1016/j.cose.2023.103667},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404823005771},
  keywords = {usablesec, authentication},
}

@Article{dblp:journals/icl/patnaikbm23,
  title = {ProMETHEUS: {A} Secure Lightweight Spectrum Allocation Protocol against {SSDF} Attacks in Cognitive Radio IoT Networks},
  author = {Milan Patnaik and K. Bharati and Vashek Matyas},
  journal = {{IEEE} Commun. Lett.},
  volume = {27},
  number = {11},
  pages = {2919--2923},
  year = {2023},
  doi = {10.1109/LCOMM.2023.3317335},
  url = {https://doi.org/10.1109/LCOMM.2023.3317335},
  keywords = {IoT},
}

@TechReport{2023-seccerts-janovsky,
  title = {sec-certs: Examining the security certification practice for better vulnerability mitigation},
  author = {Adam Janovsky and Jan Jancar and Petr Svenda and Łukasz Chmielewski and Jiri Michalik and Vashek Matyas},
  publisher = {arXiv},
  year = {2023},
  doi = {10.48550/arXiv.2311.17603},
  keywords = {sec-certs},
}

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

@InProceedings{2022-secrypt-janovsky,
  title = {{A Longitudinal Study of Cryptographic API: A Decade of Android Malware}},
  author = {Adam Janovsky and Davide Maiorca and Dominik Macko and Vashek Matyas and Giorgio Giacinto},
  booktitle = {Proceedings of the 19th International Conference on Security and Cryptography},
  pages = {121--133},
  year = {2022},
  isbn = {978-989-758-590-6},
  issn = {2184-7711},
  url = {https://github.com/adamjanovsky/AndroidMalwareCrypto},
  keywords = {cryptolibs, malware, Android},
}

@Article{2022-hbet-knapova,
  title = {Comparing Nonresponders and Responders of Online Intercept Surveys: A Large-Scale Experimental ICT Security-Related Study},
  author = {Lenka Knapova and David Smahel and Lenka Dedkova and Vashek Matyas},
  journal = {Human Behavior and Emerging Technologies},
  volume = {2022},
  pages = {3107621},
  publisher = {Hindawi},
  year = {2022},
  issn = {2578-1863},
  doi = {10.1155/2022/3107621},
  url = {https://doi.org/10.1155/2022/3107621},
  keywords = {usablesec},
  month = {July},
  day = {28},
}

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

@Article{2022-compsec-kruzikova,
  title = {Usable and secure? User perception of four authentication methods for mobile banking},
  author = {Agata Kruzikova and Lenka Knapova and David Smahel and Lenka Dedkova and Vashek Matyas},
  journal = {Computers \& Security},
  volume = {115},
  pages = {102603},
  year = {2022},
  issn = {0167-4048},
  doi = {10.1016/j.cose.2022.102603},
  url = {https://www.sciencedirect.com/science/article/pii/S0167404822000025},
  keywords = {usablesec, TACR, authentication},
}

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

@Article{2019-sensors-nemec,
  title = {Evaluating Dynamic Approaches to Key (Re-)Establishment in Wireless Sensor Networks},
  author = {Lukas Nemec and Vashek Matyas and Radim Ostadal and Petr Svenda and Pierre-Louis Palant},
  journal = {Sensors},
  volume = {19},
  number = {4},
  publisher = {Multidisciplinary Digital Publishing Institute},
  year = {2019},
  issn = {1424-8220},
  doi = {10.3390/s19040914},
  url = {http://www.mdpi.com/1424-8220/19/4/914},
  keywords = {WSN},
}

@InProceedings{2018-dcoss-nemec,
  title = {Adaptive Secrecy Amplification with Radio Channel Key Extraction},
  author = {Lukas Nemec and Radim Ostadal and Vashek Matyas and Petr Svenda},
  booktitle = {2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS)},
  pages = {123-130},
  year = {2018},
  issn = {2325-2944},
  doi = {10.1109/DCOSS.2018.00028},
  keywords = {WSN},
}

@InProceedings{2018-spw-nemec,
  title = {Entropy Crowdsourcing -- Protocols for Link Key Updates in Wireless Sensor Networks},
  author = {Lukas Nemec and Radim Ostadal and Vashek Matyas and Petr Svenda},
  booktitle = {Security Protocols Workshop XXVI},
  pages = {84-92},
  publisher = {Springer International Publishing},
  year = {2018},
  isbn = {978-3-030-03251-7},
  keywords = {WSN},
}

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

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

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

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

@InCollection{2016-ciwsn-stehlik,
  title = {Attack Detection Using Evolutionary Computation},
  author = {Martin Stehlik and Vashek Matyas and Andriy Stetsko},
  booktitle = {Computational Intelligence in Wireless Sensor Networks: Recent Advances and Future Challenges},
  publisher = {Springer series on Studies in Computational Intelligence},
  year = {2016},
  keywords = {WSN},
}

@InProceedings{2016-cans-ostadal,
  title = {Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping -- Secrecy Amplification Case},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {International Conference on Cryptology and Network Security (CANS 2016)},
  publisher = {Springer},
  year = {2016},
  keywords = {WSN},
}

@InProceedings{2016-wistp-stavova,
  title = {Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms},
  author = {Vlasta Stavova and Vashek Matyas and Mike Just},
  booktitle = {IFIP International Conference on Information Security Theory and Practice},
  pages = {35--50},
  organization = {Springer},
  year = {2016},
  doi = {10.1007/978-3-319-45931-8_3},
  keywords = {usablesec, SODATSW, GAMU},
}

@InProceedings{2016-eurousec-stavova,
  title = {On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications},
  author = {Vlasta Stavova and Vashek Matyas and Mike Just},
  booktitle = {Euro Usable Security (EuroUSEC) Workshop Programme},
  organization = {Internet Society},
  year = {2016},
  doi = {10.14722/eurousec.2016.23003},
  keywords = {usablesec, ESET, PUA, GAMU},
}

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

@InProceedings{2016-icnsc-stehlik,
  title = {Towards better selective forwarding and delay attacks detection in wireless sensor networks},
  author = {Martin Stehlik and Vashek Matyas and Andriy Stetsko},
  booktitle = {2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC)},
  pages = {1-6},
  year = {2016},
  doi = {10.1109/ICNSC.2016.7478978},
  keywords = {WSN},
}

@InProceedings{2015-spw-bukac,
  title = {Challenges of fiction in network security -- perspective of virtualized environments},
  author = {Vit Bukac and Radim Ostadal and Petr Svenda and Tatevik Baghdasaryan and Vashek Matyas},
  booktitle = {Cambridge International Workshop on Security Protocols},
  publisher = {Springer},
  year = {2015},
}

@InProceedings{2015-is2-bukac,
  title = {DDoSaaS: DDoS jako služba},
  author = {Vit Bukac and Vlasta Stavova and Lukas Nemec and Zdenek Riha and Vashek Matyas},
  booktitle = {IS2: From trends to solutions},
  pages = {35-39},
  publisher = {Tate International},
  address = {Praha},
  location = {Praha},
  year = {2015},
  isbn = {978-80-86813-28-8},
  keywords = {ddosaas},
}

@InBook{2015-nss-bukac,
  title = {Service in Denial – Clouds Going with the Winds},
  author = {Vit Bukac and Vlasta Stavova and Lukas Nemec and Zdenek Riha and Vashek Matyas},
  booktitle = {Proceedings of the 9th International Conference on Network and System Security},
  pages = {130-143},
  publisher = {Springer International Publishing},
  year = {2015},
  isbn = {978-3-319-25645-0},
  doi = {10.1007/978-3-319-25645-0_9},
  url = {http://dx.doi.org/10.1007/978-3-319-25645-0_9},
  keywords = {ddosaas},
}

@InProceedings{2015-memics-stavova,
  title = {The challenge of increasing safe response of antivirus software users},
  author = {Vlasta Stavova and Vashek Matyas and Kamil Malinka},
  booktitle = {International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science},
  pages = {133--143},
  organization = {Springer},
  year = {2015},
  doi = {10.1007/978-3-319-29817-7_12},
  keywords = {usablesec, ESET, GAMU},
}

@InCollection{2015-scps-matyas,
  title = {{WSNProtectLayer: Security Middleware for Wireless Sensor Networks}},
  author = {Vashek Matyas and Petr Svenda and Andriy Stetsko and Dusan Klinec and Filip Jurnecka and Martin Stehlik},
  booktitle = {Securing Cyber-Physical Systems},
  pages = {119-162},
  publisher = {CRC Press},
  year = {2015},
  isbn = {978-1-4987-0098-6},
  doi = {10.1201/b19311-6},
  keywords = {WSN},
}

@InProceedings{2014-space-ostadal,
  title = {A New Approach to SA in Partially Compromised Networks},
  author = {Radim Ostadal and Petr Svenda and Vashek Matyas},
  booktitle = {Security, Privacy, and Applied Cryptography Engineering -- 4th Int. Conf., SPACE 2014, LNCS 8804},
  publisher = {Springer},
  year = {2014},
  keywords = {WSN},
}

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

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

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

@InProceedings{2014-stm-jurnecka,
  title = {Evaluation of key management schemes in wireless sensor networks},
  author = {Filip Jurnecka and Martin Stehlik and Vashek Matyas},
  booktitle = {Security and Trust Management},
  pages = {198-203},
  publisher = {Springer International Publishing},
  address = {Switzerland},
  year = {2014},
  isbn = {978-3-319-11850-5},
  doi = {10.1007/978-3-319-11851-2_16},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11851-2_16},
  keywords = {WSN},
}

@InCollection{2014-ssms-stetsko,
  title = {Improving Intrusion Detection Systems for Wireless Sensor Networks},
  author = {Andriy Stetsko and Tobias Smolka and Vashek Matyas and Martin Stehlik},
  booktitle = {Applied Cryptography and Network Security},
  series = {Lecture Notes in Computer Science},
  volume = {8479},
  pages = {343-360},
  publisher = {Springer International Publishing},
  year = {2014},
  isbn = {978-3-319-07535-8},
  doi = {10.1007/978-3-319-07536-5_21},
  keywords = {WSN},
}

@InProceedings{2014-spw-jurnecka,
  title = {On Node Capturing Attacker Strategies},
  author = {Filip Jurnecka and Martin Stehlik and Vashek Matyas},
  booktitle = {Security Protocols {XXII} - 22nd International Workshop Cambridge, UK, March 19-21, 2014. Revised Selected Papers},
  pages = {300-315},
  publisher = {Springer LNCS},
  year = {2014},
  doi = {10.1007/978-3-319-12400-1_29},
  keywords = {WSN},
}

@InProceedings{2013-sssm-stehlik,
  title = {Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks},
  author = {Martin Stehlik and Adam Saleh and Andriy Stetsko and Vashek Matyas},
  booktitle = {Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems},
  pages = {569-576},
  publisher = {MIT Press},
  address = {Cambridge, MA 02142-1493 USA},
  year = {2013},
  isbn = {978-0-262-31709-2},
  url = {http://mitpress.mit.edu/sites/default/files/titles/content/ecal13/ch082.html},
  keywords = {WSN},
}

@InProceedings{2013-spw-svenda,
  title = {On the origin of yet another channel},
  author = {Petr Svenda and Vashek Matyas},
  organization = {Faculty of Informatics Masaryk University},
  publisher = {Springer},
  year = {2013},
  keywords = {eacirc},
  eventtitle = {Twenty-first International Workshop on Security Protocols},
  eventdate = {2013-03-19},
}

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

@InProceedings{2012-gp-smolka,
  title = {Evolutionary Design of Message Efficient Secrecy Amplification Protocols},
  author = {Tobias Smolka and Petr Svenda and Lukas Sekanina and Vashek Matyas},
  booktitle = {Genetic Programming},
  pages = {194--205},
  publisher = {Berlin: Springer Verlag},
  year = {2012},
  keywords = {WSN},
}

@InProceedings{2014-securecomm-kur,
  title = {Two improvements of random key predistribution for wireless sensor networks},
  author = {Jiri Kur and Vashek Matyas and Petr Svenda},
  booktitle = {International Conference on Security and Privacy in Communication Systems},
  pages = {61--75},
  organization = {Springer},
  year = {2012},
  keywords = {WSN},
}

@InProceedings{2011-spw-kur,
  title = {Attack detection vs. privacy--How to find the link or how to hide it?},
  author = {Jiri Kur and Vashek Matyas and Andriy Stetsko and Petr Svenda},
  booktitle = {International Workshop on Security Protocols},
  pages = {189--199},
  organization = {Springer},
  year = {2011},
  keywords = {WSN},
}

@InProceedings{2011-ssm-stetsko,
  title = {Calibrating and Comparing Simulators for Wireless Sensor Networks},
  author = {Andriy Stetsko and Martin Stehlik and Vashek Matyas},
  booktitle = {Proceedings of the 8\superscript{th} IEEE International Conference on Mobile Adhoc and Sensor Systems},
  series = {MASS '11},
  pages = {733-738},
  publisher = {{IEEE} Computer Society},
  address = {Los Alamitos, CA, USA},
  year = {2011},
  isbn = {978-0-7695-4469-4},
  keywords = {WSN},
}

@InProceedings{2009-ec2nd-stetsko,
  title = {Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks},
  author = {Andriy Stetsko and Vashek Matyas},
  booktitle = {EC2ND 2009 -- European Conference on Computer Network Defense},
  pages = {21-28},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  year = {2009},
  isbn = {978-0-7695-3983-6},
  keywords = {WSN},
}

@InProceedings{2009-cwsn-svenda,
  title = {Evolutionary design of secrecy amplification protocols for wireless sensor networks},
  author = {Petr Svenda and Lukas Sekanina and Vashek Matyas},
  booktitle = {Proceedings of the second {ACM} Conference on Wireless Network Security},
  pages = {225--236},
  year = {2009},
  keywords = {WSN},
}