Publications

2017

  • A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
    Vasilios Mavroudis, Andrea Cerulli, Petr Svenda, Dan Cvrcek, Dusan Klinec and George Danezis,
    to appear at 24th ACM Conference on Computer and Communications Security (CCS'2017), ACM, 2017.
    Keywords: smartcard, smpc, paper details, BibTeX
  • A large-scale comparative study of beta testers and standard users
    Vlasta Stavova, Lenka Dedkova, Martin Ukrop and Vashek Matyas,
    To appear in Communications of ACM, 2017.
    Keywords: usablesec, eset, gamu, BibTeX
  • Factors Influencing the Purchase of Security Software for Mobile Devices – Case Study
    Vlasta Stavova, Vashek Matyas, Mike Just and Martin Ukrop,
    Infocommunications Journal, 2017, 18–23.
    Keywords: usablesec, eset, gamu, paper website, BibTeX
  • Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
    Matus Nemec, Petr Svenda, Dusan Klinec, Peter Sekan and Vashek Matyas,
    to appear at 33rd Annual Computer Security Applications Conference (ACSAC'2017), ACM, 2017.
    Keywords: cryptolibs, rsa, fingerprinting, paper details, BibTeX
  • Return of the Coppersmith’s Attack: Practical Factorization of Widely Used RSA Moduli
    Matus Nemec, Marek Sys, Petr Svenda, Dusan Klinec and Vashek Matyas,
    to appear at 24th ACM Conference on Computer and Communications Security (CCS'2017), ACM, 2017.
    Keywords: rsa, paper details, BibTeX
  • 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, paper details, BibTeX

2016

  • Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm
    Marek Sýs, Zdeněk Říha and Vashek Matyas,
    ACM Transactions on Mathematicsl Software, ACM, 2016, 27:1–27:11.
    Keywords: randomness, DOI website, paper website, BibTeX
  • Attack Detection Using Evolutionary Computation
    Martin Stehlik, Vashek Matyas and Andriy Stetsko,
    Computational Intelligence in Wireless Sensor Networks: Recent Advances and Future Challenges, Springer series on Studies in Computational Intelligence., 2016.
    Keywords: wsn, BibTeX
  • Avalanche Effect in Improperly Initialized CAESAR Candidates
    Martin Ukrop and 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: eacirc, randomness, pre-print PDF, paper details, DOI website, BibTeX
  • Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms
    Vlasta Stavova, Vashek Matyas and Mike Just,
    IFIP International Conference on Information Security Theory and Practice, 2016, 35–50.
    Keywords: usablesec, sodatsw, gamu, BibTeX
  • New results on reduced-round Tiny Encryption Algorithm using genetic programming
    Karel Kubíček, Jiří Novotný, Petr Svenda and Martin Ukrop,
    IEEE Infocommunications, 2016.
    Keywords: eacirc, randomness, pre-print PDF, paper details, paper website, BibTeX
  • On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications
    Vlasta Stavova, Vashek Matyas and Mike Just,
    Euro Usable Security (EuroUSEC) Workshop Programme, 2016.
    Keywords: usablesec, eset, pua, gamu, BibTeX
  • Reconsidering Attacker Models in Ad-hoc Networks
    Radim Ostadal, Petr Svenda and Vashek Matyas,
    24th International Workshop on Security Protocols (SPW 2016), Springer, 2016.
    Keywords: wsn, paper details, BibTeX
  • The Million-Key Question – Investigating the Origins of RSA Public Keys
    Petr Svenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek and Vashek Matyas,
    FI MU Report Series, FIMU-RS-2016-03, Masaryk University, 2016, 1–83.
    paper details, BibTeX
  • The Million-Key Question – Investigating the Origins of RSA Public Keys
    Petr Svenda, Matus Nemec, Peter Sekan, Rudolf Kvasnovsky, David Formanek, David Komarek and Vashek Matyas,
    The 25th USENIX Security Symposium (UsenixSec'2016), USENIX, 2016, 893–910.
    pre-print PDF, paper details, BibTeX
  • Towards better selective forwarding and delay attacks detection in wireless sensor networks
    Martin Stehlik, Vashek Matyas and Andriy Stetsko,
    2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC), 2016, 1-6.
    Keywords: wsn, DOI website, BibTeX

2015

  • Architecture Considerations for Massively Parallel Hardware Security Platform
    Dan Cvrcek and Petr Svenda,
    The 5th International Conference on Security, Privacy, and Applied Cryptography Engineering (SPACE–2015), LNCS 9354, Springer, 2015, 269–288.
    paper details, DOI website, BibTeX
  • DDoSaaS: DDoS jako služba
    Vit Bukac, Vlasta Stavova, Lukas Nemec, Zdenek Riha and Vashek Matyas,
    IS2: From trends to solutions, Tate International, 2015, 35-39.
    Keywords: ddosaas, BibTeX
  • On Secrecy Amplification Protocols
    Radim Ostadal, Petr Svenda and Vashek Matyas,
    The 9th WISTP International Conference on Information Security Theory and Practice (WISTP–2015), LNCS 9311, Springer, 2015, 3–19.
    Keywords: wsn, paper details, DOI website, BibTeX
  • Service in Denial – Clouds Going with the Winds
    Vit Bukac, Vlasta Stavova, Lukas Nemec, Zdenek Riha and Vashek Matyas,
    Network and System Security: 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings, Springer International Publishing, 2015, 130–143.
    Keywords: ddosaas, DOI website, paper website, BibTeX
  • The challenge of increasing safe response of antivirus software users
    Vlasta Stavova, Vashek Matyas and Kamil Malinka,
    International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2015, 133–143.
    Keywords: usablesec, eset, gamu, BibTeX
  • WSNProtectLayer: Security Middleware for Wireless Sensor Networks
    Vashek Matyas, Petr Svenda, Andriy Stetsko, Dusan Klinec, Filip Jurnecka and Martin Stehlik,
    Securing Cyber-Physical Systems, CRC Press, 2015, 119–162.
    Keywords: wsn, DOI website, paper website, BibTeX

2014

  • Constructing empirical tests of randomness
    Marek Sýs, 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
  • Determining cryptographic distinguishers for eStream and SHA-3 candidate functions with evolutionary circuits
    Petr Svenda, Martin Ukrop and Vashek Matyas,
    E-Business and Telecommunications, Springer Berlin Heidelberg, 2014, 290–305.
    Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX
  • Evaluation of key management schemes in wireless sensor networks
    Filip Jurnecka, Martin Stehlik and Vashek Matyas,
    Security and Trust Management, Springer International Publishing, 2014, 198-203.
    Keywords: wsn, DOI website, paper website, BibTeX
  • Improving Intrusion Detection Systems for Wireless Sensor Networks
    Andriy Stetsko, Tobias Smolka, Vashek Matyas and Martin Stehlik,
    Applied Cryptography and Network Security, Springer International Publishing, 2014, volume 8479 of Lecture Notes in Computer Science, 343-360.
    Keywords: wsn, paper website, BibTeX
  • On Node Capturing Attacker Strategies
    Filip Jurnecka, Martin Stehlik and Vashek Matyas,
    Security Protocols XXII - 22nd International Workshop Cambridge, UK, March 19-21, 2014. Revised Selected Papers, Springer LNCS, 2014, 300–315.
    Keywords: wsn, DOI website, paper website, BibTeX

2013

  • Multi-Objective Optimization of Intrusion Detection Systems for Wireless Sensor Networks
    Martin Stehlik, Adam Saleh, Andriy Stetsko and Vashek Matyas,
    Advances in Artificial Life, ECAL 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2013, 569-576.
    Keywords: wsn, paper website, BibTeX
  • On the origin of yet another channel
    Petr Svenda and Vashek Matyas,
    Springer, 2013.
    Keywords: eacirc, pre-print PDF, BibTeX
  • Towards cryptographic function distinguishers with evolutionary circuits
    Petr Svenda, Martin Ukrop and Vashek Matyas,
    Proceedings of the 10th International Conference on Security and Cryptography, 2013, 135–146.
    Keywords: eacirc, randomness, pre-print PDF, DOI website, BibTeX

2012

  • Evolutionary Design of Message Efficient Secrecy Amplification Protocols
    Tobias Smolka, Petr Svenda, Lukas Sekanina and Vashek Matyas,
    Genetic Programming, Berlin: Springer Verlag, 2012, 194–205.
    Keywords: wsn, BibTeX

2011

  • Calibrating and Comparing Simulators for Wireless Sensor Networks
    Andriy Stetsko, Martin Stehlik and Vashek Matyas,
    Proceedings of the 8\superscriptth IEEE International Conference on Mobile Adhoc and Sensor Systems, IEEE Computer Society, 2011, 733–738.
    Keywords: wsn, BibTeX

2009

  • Effectiveness Metrics for Intrusion Detection in Wireless Sensor Networks
    Andriy Stetsko and Vashek Matyas,
    EC2ND 2009 – European Conference on Computer Network Defense, IEEE Computer Society, 2009, 21-28.
    Keywords: wsn, BibTeX
  • Evolutionary design of secrecy amplification protocols for wireless sensor networks
    Petr Svenda, Lukas Sekanina and Vashek Matyas,
    Proceedings of the second ACM conference on Wireless network security, 2009, 225–236.
    Keywords: wsn, BibTeX