Floragasse 7 – 5th floor, 1040 Vienna

Dimitris E. Simos

Research Interests

Dimitris’ research interests include Combinatorial Designs and their applications to Software Testing, Combinatorial Testing in particular, Symbolic Computation and Optimization Algorithms, and all mathematical aspects of Information Security.


Bio

Dimitris received his bachelor’s degree in Mathematics (2006) from the University of Athens. He holds a master’s degree in Applied Mathematical Sciences (2007) and a PhD in Discrete Mathematics and Combinatorics (2011), both obtained from the National Technical University of Athens. He also held the status of a Marie Curie Fellow within a 3-year ERCIM grant (2012-2015) awarded by the European Commission. In particular, after his PhD and before joining SBA Research, he was an ERCIM/Marie Curie Post-Doctoral Fellow within Project-Team SECRET of INRIA Paris-Rocquencourt research center working on the design and analysis of cryptographic algorithms, especially through the study of the involved discrete structures.

He is an adjunct lecturer with TU Wien and a distinguished guest lecturer with Graz University of Technology. He holds a guest researcher appointment with the US National Institute of Standards and Technology (NIST), where he is also a research member of its Working Group on Automated Combinatorial Testing for Software (ACTS), and has been a visiting scholar at University of Bergamo.

During his career, Dimitris has (co)-authored over 100 papers in Discrete Mathematics and their applications to Computer Science and has been awarded the rank of Fellow of the Institute of Combinatorics and its Applications (FTICA) on 2012. His research has received national (FFG), European (FP7, H2020) and international (US NIST) funding. He has been in the organizing or program committee of many international scientific conferences and workshops and is a member of the editorial board of two Springer journals.


Publications

Top Publications:

  • Multidisciplinary Research and Practice for Information Systems, IFIP International Cross Domain Conference and Workshop on Availability, Reliability and Security, CD-ARES 2013 (2013)
    • INPROCEEDINGS--
    • P. Angelopoulos and Christos Koukouvinos and Dimitris Simos and A. Skountzou
    • Lecture Notes in Computer Science (LNCS)
    @INPROCEEDINGS{Angelopoulos_Multidisciplinary_Research_and_2013,
       author = {P. Angelopoulos and Christos Koukouvinos and Dimitris Simos and A. Skountzou},
       title = {Multidisciplinary Research and Practice for Information Systems,
       IFIP International Cross Domain Conference and Workshop on Availability,
       Reliability and Security,
       CD-ARES 2013},
       booktitle = {Lecture Notes in Computer Science (LNCS)},
       year = {2013},
    }
  • Retaining consistency for knowledge-based security testing (2014)
    • INPROCEEDINGS--
    • Andreas Bernauer and Josip Bozic and Dimitris Simos and Severin Winkler and Franz Wotawa
    • 27th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
    @INPROCEEDINGS{Bernauer2014Retaining,
       author = {Andreas Bernauer and Josip Bozic and Dimitris Simos and Severin Winkler and Franz Wotawa},
       title = {Retaining consistency for knowledge-based security testing},
       booktitle = {27th International Conference on Industrial,
       Engineering & Other Applications of Applied Intelligent Systems},
       year = {2014},
       month = {6},
       pdf = {ieaaie2014_kb.pdf},
    }
  • Attack pattern-based combinatorial testing (2014)
    • INPROCEEDINGS--
    • Josip Bozic and Dimitris Simos and Franz Wotawa
    • 9th International Workshop on Automation of Software Test (AST 2014)
    @INPROCEEDINGS{Bozic2014Attack,
       author = {Josip Bozic and Dimitris Simos and Franz Wotawa},
       title = {Attack pattern-based combinatorial testing},
       booktitle = { 9th International Workshop on Automation of Software Test (AST 2014)},
       year = {2014},
       month = {5},
       pdf = {AST2014.pdf},
    }
  • Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing (2015)
    • INPROCEEDINGS--
    • Josip Bozic and Bernhard Garn and Ioannis Kapsalis and Dimitris Simos and Severin Winkler and Franz Wotawa
    • IEEE International Conference on Software Quality, Reliability and Security 2015
    @INPROCEEDINGS{Bozic2015Attack,
       author = {Josip Bozic and Bernhard Garn and Ioannis Kapsalis and Dimitris Simos and Severin Winkler and Franz Wotawa},
       title = {Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing},
       booktitle = {IEEE International Conference on Software Quality,
       Reliability and Security 2015},
       year = {2015},
       month = {8},
       pdf = {http://ieeexplore.ieee.org/document/7272934/},
    }
  • Evaluation of the IPO-Family algorithms for test case generation in web security testing (2015)
    • INPROCEEDINGS--
    • Josip Bozic and Bernhard Garn and Dimitris Simos and Franz Wotawa
    • IEEE 8th International Conference on Software Testing, Verification and Validation
    @INPROCEEDINGS{Bozic2015Evaluation,
       author = {Josip Bozic and Bernhard Garn and Dimitris Simos and Franz Wotawa},
       title = {Evaluation of the IPO-Family algorithms for test case generation in web security testing},
       booktitle = {IEEE 8th International Conference on Software Testing,
       Verification and Validation},
       year = {2015},
       month = {4},
       pdf = {http://ieeexplore.ieee.org/document/7107436/},
    }
  • Planning-based Security Testing of the SSL/TLS Protocol (2017)
    • INPROCEEDINGS--
    • Josip Bozic and K. Kleine and Dimitris Simos and Franz Wotawa
    • Workshop on Advances in Model Based Testing (A-MOST)
    @INPROCEEDINGS{Bozic2017Planningbased,
       author = {Josip Bozic and K. Kleine and Dimitris Simos and Franz Wotawa},
       title = {Planning-based Security Testing of the SSL/TLS Protocol},
       booktitle = {Workshop on Advances in Model Based Testing (A-MOST)},
       year = {2017},
       month = {3},
    }
  • Availability, Reliability, and Security in Information Systems and HCI, IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013 (2013)
    • INPROCEEDINGS--
    • A. Cuzzocrea and C. Kittl and Dimitris Simos and Edgar R. Weippl and L. Xu
    • Lecture Notes in Computer Science
    @INPROCEEDINGS{Cuzzocrea2013Availability,
       author = {A. Cuzzocrea and C. Kittl and Dimitris Simos and {Edgar R.} Weippl and L. Xu},
       title = {Availability,
       Reliability,
       and Security in Information Systems and HCI,
       IFIP WG 8.4,
       8.9,
       TC 5 International Cross-Domain Conference,
       CD-ARES 2013},
       booktitle = {Lecture Notes in Computer Science},
       year = {2013},
    }
  • Security Engineering and Intelligence Informatics, CD-ARES 2013 Workshops: MoCrySEn and SeCIHD (2013)
    • INPROCEEDINGS--
    • A. Cuzzocrea and C. Kittl and Dimitris Simos and Edgar R. Weippl and L. Xu
    • Lecture Notes in Computer Science
    @INPROCEEDINGS{Cuzzocrea2013Security,
       author = {A. Cuzzocrea and C. Kittl and Dimitris Simos and {Edgar R.} Weippl and L. Xu},
       title = {Security Engineering and Intelligence Informatics,
       CD-ARES 2013 Workshops: MoCrySEn and SeCIHD},
       booktitle = {Lecture Notes in Computer Science},
       year = {2013},
    }
  • E-voting authentication with QR-codes (2014)
    • INPROCEEDINGS--
    • Stefanie Falkner and Peter Kieseberg and Dimitris Simos and Christina Traxler and Edgar R. Weippl
    • 2nd International Conference on Human Aspects of Information Security, Privacy, and Trust
    @INPROCEEDINGS{Falkner2014Evoting,
       author = {Stefanie Falkner and Peter Kieseberg and Dimitris Simos and Christina Traxler and {Edgar R.} Weippl},
       title = {E-voting authentication with QR-codes},
       booktitle = {2nd International Conference on Human Aspects of Information Security,
       Privacy,
       and Trust},
       year = {2014},
       pdf = {evoting_final_HCI_2014.pdf},
    }
  • On the applicability of combinatorial testing to web application security testing: A case study (2014)
    • INPROCEEDINGS--
    • Bernhard Garn and Ioannis Kapsalis and Dimitris Simos and Severin Winkler
    • 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing
    @INPROCEEDINGS{Garn2014applicability,
       author = {Bernhard Garn and Ioannis Kapsalis and Dimitris Simos and Severin Winkler},
       title = {On the applicability of combinatorial testing to web application security testing: A case study},
       booktitle = { 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing},
       year = {2014},
       month = {7},
       pdf = {combinatorial testing 4pentesteval_jamaica_2014.pdf},
    }
  • Eris: A tool for combinatorial testing of the linux system call interface (2014)
    • INPROCEEDINGS--
    • Bernhard Garn and Dimitris Simos
    • 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops
    @INPROCEEDINGS{Garn2014Eris,
       author = {Bernhard Garn and Dimitris Simos},
       title = {Eris: A tool for combinatorial testing of the linux system call interface},
       booktitle = {2014 IEEE International Conference on Software Testing,
       Verification,
       and Validation Workshops},
       year = {2014},
       month = {3},
       pdf = {CT-Eris_ICSTW_2014.pdf},
    }
  • Weighted t-way Sequences (2018)
    • ARTICLE--
    • Bernhard Garn and Dimitris Simos
    • Electronic Notes in Discrete Mathematics
    @ARTICLE{Garn2018Weighted,
       author = {Bernhard Garn and Dimitris Simos},
       title = {Weighted t-way Sequences},
       journal = {Electronic Notes in Discrete Mathematics},
       year = {2018},
       month = {12},
       pdf = {https://www.sciencedirect.com/science/article/pii/S1571065318302026?via%3Dihub},
    }
  • Browser Fingerprinting using Combinatorial Sequence Testing (2019)
    • INPROCEEDINGS--
    • Bernhard Garn and Dimitris Simos and Stefan Zauner and R. Kuhn and R. Kacker
    • 6th Symposium and Bootcamp on the Science of Security (HotSoS)
    @INPROCEEDINGS{Garn2019Browser,
       author = {Bernhard Garn and Dimitris Simos and Stefan Zauner and R. Kuhn and R. Kacker},
       title = {Browser Fingerprinting using Combinatorial Sequence Testing},
       booktitle = {6th Symposium and Bootcamp on the Science of Security (HotSoS)},
       year = {2019},
       month = {4},
       pdf = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=927531},
    }
  • A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection (2019)
    • INPROCEEDINGS--
    • Bernhard Garn and Marco Radavelli and Angelo Gargantini and Manuel Leithner and Dimitris Simos
    • International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA AIE)
    @INPROCEEDINGS{Garn2019FaultDriven,
       author = {Bernhard Garn and Marco Radavelli and Angelo Gargantini and Manuel Leithner and Dimitris Simos},
       title = {A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection},
       booktitle = {International Conference on Industrial,
       Engineering and Other Applications of Applied Intelligent Systems (IEA AIE)},
       year = {2019},
       month = {6},
       pdf = {https://link.springer.com/chapter/10.1007%2F978-3-030-22999-3_19},
    }
  • Weighted Combinatorial Sequence Testing for the TLS Protocol (2019)
    • INPROCEEDINGS--
    • Bernhard Garn and Dimitris Simos and Feng Duan and Yu Lei and Josip Bozic and Franz Wotawa
    • IEEE International Conference on Software Testing, Verification and Validation Workshops, (ICSTW)
    @INPROCEEDINGS{Garn2019Weighted,
       author = {Bernhard Garn and Dimitris Simos and Feng Duan and Yu Lei and Josip Bozic and Franz Wotawa},
       title = {Weighted Combinatorial Sequence Testing for the TLS Protocol},
       booktitle = {IEEE International Conference on Software Testing,
       Verification and Validation Workshops,
       (ICSTW)},
       year = {2019},
       month = {4},
       pdf = {https://ieeexplore.ieee.org/document/8728911},
    }
  • A Generation Method of Cryptographic Keys for Enterprise Communication Systems (2013)
    • INPROCEEDINGS--
    • Aleksandar Hudic and E. Revell and Dimitris Simos
    • Proceedings of the 8th International Workshop on Frontiers in Availability, Reliability, and Security (FARES 2013), held in conjuction with ARES 2013: 8th International Conference on Availability, Reliability and Security
    @INPROCEEDINGS{Hudic2013Generation,
       author = {Aleksandar Hudic and E. Revell and Dimitris Simos},
       title = {A Generation Method of Cryptographic Keys for Enterprise Communication Systems},
       booktitle = {Proceedings of the 8th International Workshop on Frontiers in Availability,
       Reliability,
       and Security (FARES 2013),
       held in conjuction with ARES 2013: 8th International Conference on Availability,
       Reliability and Security},
       year = {2013},
       month = {9},
    }
  • Set-based algorithms for combinatorial test set generation (2016)
    • INPROCEEDINGS--
    • Ludwig Kampel and Dimitris Simos
    • International Conference on Testing Software and Systems (ICTSS)
    @INPROCEEDINGS{Kampel2016Setbased,
       author = {Ludwig Kampel and Dimitris Simos},
       title = {Set-based algorithms for combinatorial test set generation},
       booktitle = {International Conference on Testing Software and Systems (ICTSS)},
       year = {2016},
       month = {10},
       pdf = {http://link.springer.com/chapter/10.1007/978-3-319-47443-4_16},
    }
  • Combinatorial Methods for Modelling Composed Software Systems (2017)
    • INPROCEEDINGS--
    • Ludwig Kampel and Bernhard Garn and Dimitris Simos
    • 6th International Workshop on Combinatorial Testing (IWCT 2017)
    @INPROCEEDINGS{Kampel2017Combinatorial,
       author = {Ludwig Kampel and Bernhard Garn and Dimitris Simos},
       title = {Combinatorial Methods for Modelling Composed Software Systems},
       booktitle = {6th International Workshop on Combinatorial Testing (IWCT 2017)},
       year = {2017},
       month = {3},
       link_slides = {http://iwct2017.sba-research.org/slides/session4-talk2-simos.pdf},
    }
  • Covering arrays as set covers (2018)
    • ARTICLE--
    • Ludwig Kampel and Bernhard Garn and Dimitris Simos
    • Electronic Notes in Discrete Mathematics
    @ARTICLE{Kampel2018Covering,
       author = {Ludwig Kampel and Bernhard Garn and Dimitris Simos},
       title = {Covering arrays as set covers},
       journal = {Electronic Notes in Discrete Mathematics},
       year = {2018},
    }
  • Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets (2019)
    • INPROCEEDINGS--
    • Ludwig Kampel and Dimitris Simos and Bernhard Garn and Ilias Kotsireas and Evgeny Zhereshchin
    • 8th International Conference on Algebraic Informatics
    @INPROCEEDINGS{Kampel2019Algebraic,
       author = {Ludwig Kampel and Dimitris Simos and Bernhard Garn and Ilias Kotsireas and Evgeny Zhereshchin},
       title = {Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets},
       booktitle = {8th International Conference on Algebraic Informatics},
       year = {2019},
       month = {6},
       pdf = {https://link.springer.com/chapter/10.1007%2F978-3-030-21363-3_15},
    }
  • How to use Boltzmann Machines and Neural Networks for Covering Array Generation (2019)
    • INPROCEEDINGS--
    • Ludwig Kampel and Michael Wagner and Ilias Kotsireas and Dimitris Simos
    • Proceedings of 13th Learning and Intelligent Optimization Conference
    @INPROCEEDINGS{Kampel2019Boltzmann,
       author = {Ludwig Kampel and Michael Wagner and Ilias Kotsireas and Dimitris Simos},
       title = {How to use Boltzmann Machines and Neural Networks for Covering Array Generation},
       booktitle = {Proceedings of 13th Learning and Intelligent Optimization Conference},
       year = {2019},
       month = {5},
       pdf = {https://link.springer.com/chapter/10.1007/978-3-030-38629-0_5},
    }
  • Problems and Algorithms for Covering Arrays via Set Covers (2019)
    • ARTICLEtruetrue
    • Ludwig Kampel and Manuel Leithner and Bernhard Garn and Dimitris Simos
    • Theoretical Computer Science
    @ARTICLE{Kampel2019Problems,
       author = {Ludwig Kampel and Manuel Leithner and Bernhard Garn and Dimitris Simos},
       authorhotlist = {true},
       sbahotlist = {true},
       title = {Problems and Algorithms for Covering Arrays via Set Covers},
       journal = {Theoretical Computer Science },
       year = {2019},
       month = {12},
       pdf = {https://www.sciencedirect.com/science/article/pii/S0304397519306474},
    }
  • Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm (2019)
    • ARTICLE-true
    • Ludwig Kampel and Manuel Leithner and Dimitris Simos
    • Optimization Letters
    @ARTICLE{Kampel2019Sliced,
       author = {Ludwig Kampel and Manuel Leithner and Dimitris Simos},
       authorhotlist = {true},
       title = {Sliced AETG: a memory-efficient variant of the AETG covering array generation algorithm},
       journal = {Optimization Letters},
       year = {2019},
       month = {8},
       pdf = {https://link.springer.com/article/10.1007/s11590-019-01459-0},
    }
  • A Survey on the State of the Art of Complexity Problems for Covering Arrays (2019)
    • ARTICLEtruetrue
    • Ludwig Kampel and Dimitris Simos
    • Theoretical Computer Science
    @ARTICLE{Kampel2019Survey,
       author = {Ludwig Kampel and Dimitris Simos},
       authorhotlist = {true},
       sbahotlist = {true},
       title = {A Survey on the State of the Art of Complexity Problems for Covering Arrays},
       journal = {Theoretical Computer Science},
       year = {2019},
       month = {12},
       pdf = {https://www.sciencedirect.com/science/article/pii/S0304397519306486},
    }
  • Exciting FPGA Cryptographic Trojans using Combinatorial Testing (2015)
    • INPROCEEDINGStruetrue
    • Paris Kitsos and Dimitris Simos and Jose Torres-Jimenez and Artemios G. Voyiatzis
    • 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015)
    @INPROCEEDINGS{Kitsos2015Exciting,
       author = {Paris Kitsos and Dimitris Simos and Jose Torres-Jimenez and {Artemios G.} Voyiatzis},
       authorhotlist = {true},
       sbahotlist = {true},
       title = {Exciting FPGA Cryptographic Trojans using Combinatorial Testing},
       booktitle = {26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015)},
       year = {2015},
       month = {11},
       pdf = {http://ieeexplore.ieee.org/abstract/document/7381800/?section=abstract},
    }
  • Malicious hardware logic detection based on combinatorial testing (2016)
    • INPROCEEDINGS--
    • Paris Kitsos and Dimitris Simos and Kyriakos G. Stefanidis and Artemios G. Voyiatzis
    • DATE 2016 TRUDEVICE Workshop
    @INPROCEEDINGS{Kitsos2016Malicious,
       author = {Paris Kitsos and Dimitris Simos and {Kyriakos G.} Stefanidis and {Artemios G.} Voyiatzis},
       title = {Malicious hardware logic detection based on combinatorial testing},
       booktitle = {DATE 2016 TRUDEVICE Workshop},
       year = {2016},
       month = {3},
       link_slides = {http://www.artemiosv.info/hosted/TRUDEVICE2016.pdf},
    }
  • Coveringcerts: Combinatorial Methods for X.509 Certificate Testing (2017)
    • INPROCEEDINGS-true
    • K. Kleine and Dimitris Simos
    • International Conference on Software Testing, Verification and Validation (ICST)
    @INPROCEEDINGS{Kleine2017Coveringcerts,
       author = {K. Kleine and Dimitris Simos},
       authorhotlist = {true},
       title = {Coveringcerts: Combinatorial Methods for X.509 Certificate Testing},
       booktitle = {International Conference on Software Testing,
       Verification and Validation (ICST)},
       year = {2017},
       month = {3},
    }
  • An Efficient Design and Implementation of the in-parameter-order-algorithm (2017)
    • ARTICLE--
    • K. Kleine and Dimitris Simos
    • Mathematics in Computer Science
    @ARTICLE{Kleine2017Efficient,
       author = {K. Kleine and Dimitris Simos},
       title = {An Efficient Design and Implementation of the in-parameter-order-algorithm},
       journal = {Mathematics in Computer Science},
       year = {2017},
       month = {12},
       pdf = {https://link.springer.com/article/10.1007/s11786-017-0326-0},
    }
  • Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques (2018)
    • ARTICLE-true
    • Ilias Kotsireas and Temur Kutsia and Dimitris Simos
    • Annals of Mathematics and Artificial Intelligence
    @ARTICLE{Kotsireas2018Constructing,
       author = {Ilias Kotsireas and Temur Kutsia and Dimitris Simos},
       authorhotlist = {true},
       title = {Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques},
       journal = {Annals of Mathematics and Artificial Intelligence},
       year = {2018},
       month = {11},
       pdf = {https://link.springer.com/article/10.1007/s10472-018-9607-9},
       volume = {88},
    }
  • Genetic Algorithm and Data Mining Techniques for Design Selection in Databases (2013)
    • INPROCEEDINGS--
    • Christos Koukouvinos and C. Parpoul and Dimitris Simos
    • RAMSS 13 Proceedings of the 1st International Workshop on Statistical Methods in Reliability Assessment of Complex Industrial Multi state Systems, to be held in conjuction with ARES 13 8th International Conference on Availability, Reliability and Secur
    @INPROCEEDINGS{Koukouvinos_Genetic_Algorithm_and_Data_Min_2013,
       author = {Christos Koukouvinos and C. Parpoul and Dimitris Simos},
       title = {Genetic Algorithm and Data Mining Techniques for Design Selection in Databases},
       booktitle = {RAMSS 13 Proceedings of the 1st International Workshop on Statistical Methods in Reliability Assessment of Complex Industrial Multi state Systems,
       to be held in conjuction with ARES 13 8th International Conference on Availability,
       Reliability and Secur},
       year = {2013},
    }
  • Mixed-level Response Surface Designs via a Hybrid Genetic Algorithm (2013)
    • ARTICLE--
    • Christos Koukouvinos and C. Parpoul and Dimitris Simos
    • to appear in J. Stat. Appl. Prob.
    @ARTICLE{Koukouvinos_Mixed_level_Response_Surface_D_2013,
       author = {Christos Koukouvinos and C. Parpoul and Dimitris Simos},
       title = {Mixed-level Response Surface Designs via a Hybrid Genetic Algorithm},
       journal = {to appear in J. Stat. Appl. Prob.},
       year = {2013},
    }
  • A Grobner Bases Method for Complementary Sequences (2013)
    • INPROCEEDINGS--
    • Christos Koukouvinos and Dimitris Simos and Zafeirakis Zafeirakopoulos
    • Proceedings of the 19th Conference on Applications of Computer Algebra
    @INPROCEEDINGS{KSZ2013ACA,
       author = {Christos Koukouvinos and Dimitris Simos and Zafeirakis Zafeirakopoulos},
       title = {A Grobner Bases Method for Complementary Sequences},
       booktitle = {Proceedings of the 19th Conference on Applications of Computer Algebra},
       year = {2013},
       month = {7},
       pages = {255--259},
    }
  • Input Space Coverage Matters (2020)
    • ARTICLE-true
    • R. Kuhn and R. Kacker and Yu Lei and Dimitris Simos
    • IEEE Computer
    @ARTICLE{Kuhn2020Input,
       author = {R. Kuhn and R. Kacker and Yu Lei and Dimitris Simos},
       authorhotlist = {true},
       title = {Input Space Coverage Matters},
       journal = {IEEE Computer},
       year = {2020},
       month = {1},
       pdf = {https://ieeexplore.ieee.org/document/8960929},
       volume = {53},
    }
  • Weight Distribution of the Syndrome of Linear Codes and Connections to Combinatorial Designs (2016)
    • INPROCEEDINGS--
    • Christoph Pacher and Philipp Grabenweger and Dimitris Simos
    • 2016 IEEE International Symposium on Information Theory
    @INPROCEEDINGS{Pacher2016Weight,
       author = {Christoph Pacher and Philipp Grabenweger and Dimitris Simos},
       title = {Weight Distribution of the Syndrome of Linear Codes and Connections to Combinatorial Designs},
       booktitle = {2016 IEEE International Symposium on Information Theory},
       year = {2016},
       pdf = {ExactVariance.pdf},
    }
  • Supersaturated plans for variable selection in large databases (2014)
    • ARTICLE--
    • Christina Parpoula and Christos Koukouvinos and Dimitris Simos and Stella Stylianou
    • Statistics, Optimization and Information Computing
    @ARTICLE{Parpoul2014Supersaturated,
       author = {Christina Parpoula and Christos Koukouvinos and Dimitris Simos and Stella Stylianou},
       title = {Supersaturated plans for variable selection in large databases},
       journal = {Statistics,
       Optimization and Information Computing},
       year = {2014},
       pdf = {SupersaturatedPlans.SOIC.2014.pdf},
    }
  • Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification (2015)
    • INPROCEEDINGS-true
    • Ilias Kotsireas and Temur Kutsia and Dimitris Simos
    • 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
    @INPROCEEDINGS{Simos2015Constructing,
       author = {Ilias Kotsireas and Temur Kutsia and Dimitris Simos},
       authorhotlist = {true},
       title = {Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification},
       booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
       year = {2015},
       month = {6},
       pdf = {http://drops.dagstuhl.de/opus/volltexte/2015/5200/pdf/20.pdf},
    }
  • Genetic Algorithms for the Construction of {2^2} and {2^3}-Level Response Surface Designs (2015)
    • INBOOK--
    • Dimitris Simos
    @INBOOK{Simos2015Genetic,
       author = {Dimitris Simos},
       title = {Genetic Algorithms for the Construction of {2^2} and {2^3}-Level Response Surface Designs},
       booktitle = {Engineering and Applied Sciences Optimization,
       Computational Methods in Applied Sciences},
       year = {2015},
       pdf = {http://link.springer.com/chapter/10.1007/978-3-319-18320-6_11},
       volume = {38},
    }
  • TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach (2016)
    • INPROCEEDINGS--
    • Dimitris Simos and K. Kleine and Artemios G. Voyiatzis and R. Kuhn and R. Kacker
    • 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016)
    @INPROCEEDINGS{Simos2016Cipher,
       author = {Dimitris Simos and K. Kleine and {Artemios G.} Voyiatzis and R. Kuhn and R. Kacker},
       title = {TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach},
       booktitle = {2016 IEEE International Conference on Software Quality,
       Reliability and Security (QRS 2016)},
       year = {2016},
       month = {8},
       pdf = {TLS-CCM-QRS2016.pdf},
    }
  • Combinatorial methods in security testing (2016)
    • ARTICLE-true
    • Dimitris Simos and R. Kuhn and Artemios G. Voyiatzis and R. Kacker
    • IEEE Computer
    @ARTICLE{Simos2016Combinatorial,
       author = {Dimitris Simos and R. Kuhn and {Artemios G.} Voyiatzis and R. Kacker},
       authorhotlist = {true},
       title = {Combinatorial methods in security testing},
       journal = {IEEE Computer},
       year = {2016},
       month = {10},
       pdf = {https://www.nist.gov/publications/combinatorial-methods-security-testing},
       volume = {49},
    }
  • Split: Security protocol interaction testing in practice (2016)
    • ARTICLE--
    • Dimitris Simos
    • ERCIM News
    @ARTICLE{Simos2016Split,
       author = {Dimitris Simos},
       title = {Split: Security protocol interaction testing in practice},
       journal = {ERCIM News},
       year = {2016},
       pdf = {https://ercim-news.ercim.eu/en106/special/split-security-protocol-interaction-testing-in-practice},
    }
  • Automated combinatorial testing for detecting SQL vulnerabilities in web applications (2019)
    • INPROCEEDINGS--
    • Dimitris Simos and Jovan Zivanovic and Manuel Leithner
    • 14th International Workshop on Automation of Software Test (AST)
    @INPROCEEDINGS{Simos2019Automated,
       author = {Dimitris Simos and Jovan Zivanovic and Manuel Leithner},
       title = {Automated combinatorial testing for detecting SQL vulnerabilities in web applications},
       booktitle = { 14th International Workshop on Automation of Software Test (AST)},
       year = {2019},
       month = {5},
       pdf = {https://dl.acm.org/citation.cfm?id=3338670},
    }
  • Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement (2019)
    • INPROCEEDINGS--
    • Dimitris Simos and Bernhard Garn and Ludwig Kampel and R. Kuhn and R. Kacker
    • Cross Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE)
    @INPROCEEDINGS{Simos2019Knowledge,
       author = {Dimitris Simos and Bernhard Garn and Ludwig Kampel and R. Kuhn and R. Kacker},
       title = {Knowledge Extraction for Cryptographic Algorithm Validation Test Vectors by Means of Combinatorial Coverage Measurement},
       booktitle = {Cross Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE)},
       year = {2019},
       month = {8},
       pdf = {https://link.springer.com/chapter/10.1007/978-3-030-29726-8_13},
    }
  • Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models (2019)
    • INPROCEEDINGS--
    • Dimitris Simos and Bernhard Garn and Jovan Zivanovic and Manuel Leithner
    • IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
    @INPROCEEDINGS{Simos2019Practical,
       author = {Dimitris Simos and Bernhard Garn and Jovan Zivanovic and Manuel Leithner},
       title = {Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models},
       booktitle = {IEEE International Conference on Software Testing,
       Verification and Validation Workshops (ICSTW)},
       year = {2019},
       month = {4},
       pdf = {https://ieeexplore.ieee.org/document/8728914},
    }
  • Testing TLS using planning-based combinatorial methods and execution framework (2019)
    • ARTICLE-true
    • Dimitris Simos and Josip Bozic and Bernhard Garn and Manuel Leithner and Feng Duan and K. Kleine and Yu Lei and Franz Wotawa
    • Software Quality Journal
    @ARTICLE{Simos2019Testing,
       author = {Dimitris Simos and Josip Bozic and Bernhard Garn and Manuel Leithner and Feng Duan and K. Kleine and Yu Lei and Franz Wotawa},
       authorhotlist = {true},
       title = {Testing TLS using planning-based combinatorial methods and execution framework},
       journal = {Software Quality Journal},
       year = {2019},
       month = {6},
       pdf = {https://link.springer.com/article/10.1007%2Fs11219-018-9412-z},
    }
  • An Approach to Penetration Testing via Combinational Designs (2013)
    • INPROCEEDINGS--
    • Dimitris Simos and Severin Winkler
    • ASQT 13 Proceedings of the 11th User Conference for Software Quality, Test and Innovation, Austrian Computer Society (OCG)
    @INPROCEEDINGS{Simos_An_Approach_to_Penetration_Tes_2013,
       author = {Dimitris Simos and Severin Winkler},
       title = {An Approach to Penetration Testing via Combinational Designs},
       booktitle = {ASQT 13 Proceedings of the 11th User Conference for Software Quality,
       Test and Innovation,
       Austrian Computer Society (OCG)},
       year = {2013},
    }
  • Applying Combinatorial Testing to Large-Scale Data Processing at Adobe (2019)
    • INPROCEEDINGS--
    • Riley Smith and Darryl C. Jarman and R. Kacker and R. Kuhn and Dimitris Simos and Ludwig Kampel and Manuel Leithner and Gabe Gosney
    • IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
    @INPROCEEDINGS{Smith2019Applying,
       author = {Riley Smith and {Darryl C.} Jarman and R. Kacker and R. Kuhn and Dimitris Simos and Ludwig Kampel and Manuel Leithner and Gabe Gosney},
       title = {Applying Combinatorial Testing to Large-Scale Data Processing at Adobe},
       booktitle = {IEEE International Conference on Software Testing,
       Verification and Validation Workshops (ICSTW)},
       year = {2019},
       month = {4},
       pdf = {https://ieeexplore.ieee.org/document/8728962},
    }
  • Measuring Combinatorial Coverage at Adobe (2019)
    • INPROCEEDINGS--
    • Riley Smith and Darryl C. Jarman and Jared Bellows and R. Kuhn and R. Kacker and Dimitris Simos
    • IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
    @INPROCEEDINGS{Smith2019Measuring,
       author = {Riley Smith and {Darryl C.} Jarman and Jared Bellows and R. Kuhn and R. Kacker and Dimitris Simos},
       title = {Measuring Combinatorial Coverage at Adobe},
       booktitle = {IEEE International Conference on Software Testing,
       Verification and Validation Workshops (ICSTW)},
       year = {2019},
       month = {4},
       pdf = {https://ieeexplore.ieee.org/document/8728951},
    }
  • IPO-Q: A Quantum-inspired Approach to the IPO Strategy used in CA generation (2019)
    • INPROCEEDINGS--
    • Michael Wagner and Ludwig Kampel and Dimitris Simos
    • Mathematical Aspects of Computer and Information Sciences 2019 (MACIS 2019)
    @INPROCEEDINGS{Wagner2019IPOQ,
       author = {Michael Wagner and Ludwig Kampel and Dimitris Simos},
       title = {IPO-Q: A Quantum-inspired Approach to the IPO Strategy used in CA generation},
       booktitle = {Mathematical Aspects of Computer and Information Sciences 2019 (MACIS 2019)},
       year = {2019},
       month = {10},
       pdf = {https://link.springer.com/chapter/10.1007/978-3-030-43120-4_24},
    }
  • Quantum-inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength (2019)
    • INPROCEEDINGS--
    • Michael Wagner and Ludwig Kampel and Dimitris Simos
    • Special Event on Analysis of Experimental Algorithms (SEA 2019)
    @INPROCEEDINGS{Wagner2019Quantuminspired,
       author = {Michael Wagner and Ludwig Kampel and Dimitris Simos},
       title = {Quantum-inspired Evolutionary Algorithms for Covering Arrays of Arbitrary Strength},
       booktitle = {Special Event on Analysis of Experimental Algorithms (SEA 2019)},
       year = {2019},
       month = {6},
       pdf = {https://link.springer.com/chapter/10.1007/978-3-030-34029-2_20},
    }
  • Cagen: A fast combinatorial test generation tool with support for constraints and higher-index (2020)
    • INPROCEEDINGS--
    • Michael Wagner and K. Kleine and Dimitris Simos and R. Kuhn and R. Kacker
    • International Workshop on Combinatorial Testing (IWCT 2020)
    @INPROCEEDINGS{Wagner2020Cagen,
       author = {Michael Wagner and K. Kleine and Dimitris Simos and R. Kuhn and R. Kacker},
       title = {Cagen: A fast combinatorial test generation tool with support for constraints and higher-index},
       booktitle = {International Workshop on Combinatorial Testing (IWCT 2020)},
       year = {2020},
       month = {3},
    }
  • How easy is code equivalence over Fq (2013)
    • INPROCEEDINGS--
    • Nicolas Sendrier and Dimitris Simos
    • Proceedings of the 8th International Workshop on Coding Theory and Cryptography WCC 2013
    @INPROCEEDINGS{_How_easy_is_code_equivalence_o_2013,
       author = {Nicolas Sendrier and Dimitris Simos},
       title = {How easy is code equivalence over Fq},
       booktitle = {Proceedings of the 8th International Workshop on Coding Theory and Cryptography WCC 2013},
       year = {2013},
       month = {4},
       pdf = {codeq3_wccfin.pdf},
       pages = {80--92},
    }
  • The Hardness of Code Equivalence over Fq and its Application to Code-based Cryptography (2013)
    • INPROCEEDINGS--
    • Nicolas Sendrier and Dimitris Simos
    • Post quantum cryptography PQCrypto
    @INPROCEEDINGS{_The_Hardness_of_Code_Equivalen_2013,
       author = {Nicolas Sendrier and Dimitris Simos},
       title = {The Hardness of Code Equivalence over Fq and its Application to Code-based Cryptography},
       booktitle = {Post quantum cryptography PQCrypto},
       year = {2013},
       month = {6},
       pdf = {codeqapp3_pqcrypto_fin.pdf},
    }

Publications prior to joining SBA Research:

This Website uses Cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close