
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.