Invited Speeches
Presentations of Invited Speakers

Prof. Axel Lehmann
Universitat der Bundeswehr Munchen, Germany

Axel Lehmann is a Full Professor Emeritus of the Faculty for Informatics at the Universität der Bundeswehr München, Germany, where he held a chair for modelling and simulation until 2011. Besides his current research activities as faculty member, he is also Executive Director of the research Institute for Intelligent Systems (ITIS) at his university. His major areas of research range from computer-based modelling and simulation, knowledge-based diagnosis and decision support systems, to serious games for education and training. He is former President of The Society for Modeling and Simulation International (SCS), Fellow of the German Informatics Society (GI), and Fellow of the Federation of Asian Simulation Societies (ASIASIM). He serves on several editorial boards of journals, e.g. Japan Journal of Industrial and Applied Mathematics (JSIAM), Telecommunication Systems – Modeling, Analysis, Design and Management. He was also appointed as member of several international research review committees, e.g. of various Research Project Review Committees of the European Commission (EU), Research & Innovation, or of the Spanish “Severo Ochoa Centres of Excellence" Funding Programme.

Benefits and Challenges of Model and Simulation (M&S) Verification and Validation

Abstract: In regard of new scientific findings and advanced technological developments, on the one hand side, and permanent increasing market demands for new or extended digital system developments and services, on the other hand, modeling and simulation (M&S) has become a major enabling technology for efficient and fast innovations in all kinds of application domains. For example, M&S methods, tools and services are widely used for development of flexible, user-oriented education and training systems, or for management and decision support systems in an increasingly complex world.
While a variety of M&S-methods, techniques and platforms are already widely applied over past decades, new concepts, advanced M&S methods and techniques, as well as new technological capabilities have to be considered for effective use in M&S applications. Examples for developments offering new capabilities and opportunities for M&S applications are evolving methods of data analytics, of artificial intelligence, or of cloud computing and Software as a Service (SaaS). On the technical side, besides advancements of sensor and visualization technologies, e.g. of Virtual, Augmented and Extended Realities (VR/AR/XR) or of computer games, the permanent increasing capabilities of networks, high performance computing infrastructures also provide additional opportunities for effective M&S applications.
As consequence of these rapid advancements and their benefits, complexity of digital systems is an increasing challenge that needs attention from the end applicant´s as well as from the designer´s points of view. This challenge concerns correctness, usability and credibility of M&S applications and results. My talk will summarize current M&S state-of-the-art and approaches for stronger quality assurance to guarantee quality and validity of M&S results.


Assoc. Prof. Sedat Akleylek
Ondokuz Mayıs University, Turkey

Sedat Akleylek received the B.Sc. degree in Mathematics majored in Computer Science from Ege University in 2004 in Izmir, Turkey, M.Sc. and Ph.D. degrees in Cryptography from Middle East Technical University in 2008 and 2010, in Ankara, Turkey, respectively. He was a post-doctoral researcher at Cryptography and Computer Algebra Group, TU Darmstadt, Germany between 2014-2015. He is currently employed as an associate professor at the Department of Computer Engineering, Ondokuz Mayis University, Samsun, Turkey since 2016. He is a member of the editorial board of IEEE Access, Turkish Journal of Electrical Engineering and Computer Sciences, Peerj Computer Science, and International Journal of Information Security Science. His research interests include the areas of post-quantum cryptography, algorithms and complexity, architectures for computations in finite fields, malware analysis, applied cryptography for cyber security, IoT and fog computing.

New Directions in Post-Quantum Cryptography: Revisited

Abstract: In this talk, we give a brief survey on the importance of post-quantum cryptography by describing current approaches. Then, we discuss the computationally hard problems used in post-quantum cryptographic schemes focusing on lattice-based and code-based cryptography. The focus will be given to NIST Post-Quantum Cryptography Standardization Project in view of formal security and performance.