Books in the Lecture Notes in Computer Science series

Security of Industrial Control Systems and Cyber-Physical Systems (CyberICPS 2019).- Security and Privacy Requirements Engineering (SECPRE 2019).- Security, Privacy, Organizations, and Systems Engineering (SPOSE 2019).- Attacks and Defenses for Internet-of-Things (ADIoT 2019).

This book constitutes the refereed proceedings of the 14th International Conference on Algorithms and Computation, WALCOM 2020, held in Singapore in March/April 2020. The 23 full and 4 short papers presented were carefully reviewed and selected from 66 submissions.

This book constitutes the refereed proceedings of the 15th Information Retrieval Technology Conference, AIRS 2019, held in Hong Kong, China, in November 2019.The 14 full papers presented together with 3 short papers were carefully reviewed and selected from 27 submissions.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

Hessian Complexity Measure for Genetic Programming-based Imputation Predictor Selection in Symbolic Regression with Incomplete Data.- Seeding Grammars in Grammatical Evolution to Improve Search Based Software Testing.- Incremental Evolution and Development of Deep Artificial Neural Networks.- Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming.- Comparing Genetic Programming Approaches for Non-Functional Genetic Improvement.- Automatically Evolving Lookup Tables for Function Approximation.- Optimising Optimisers with Push GP.- An Evolutionary View on Reversible Shift-invariant Transformations.- Benchmarking Manifold Learning Methods on a Large Collection of Datasets.- Ensemble Genetic Programming.- SGP-DT: Semantic Genetic Programming Based on Dynamic Targets.- Effect of Parent Selection Methods on Modularity.- Time Control or Size Control? Reducing Complexity and Improving Accuracy of Genetic Programming Models.- Challenges of Program Synthesis with Grammatical Evolution.- Detection of Frailty Using Genetic Programming : The Case of Older People in Piedmont, Italy.- Is k Nearest Neighbours Regression Better than GP.- Guided Subtree Selection for Genetic Operators in Genetic Programming for Dynamic Flexible Job Shop Scheduling.- Classification of Autism Genes using Network Science and Linear Genetic Programming.

This book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019.The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions.The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems.WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. 

The 22 full papers and 12 shorts papers presented in this volume were carefully reviewed and selected from 70 submissions. The contributions are covering the following topics: deep learning for multimedia security; digital forensics and anti-forensics; digital watermarking; information hiding; authentication and security.

The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.The 91 regular papers presented in these volumes were selected from 161 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019. The 22 revised papers and 14 short papers presented were carefully reviewed and selected from 66 submissions.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbr├╝cken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.

The two-volume set LNAI 12033 and 11034 constitutes the refereed proceedings of the 12th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2020, held in Phuket, Thailand, in March 2020. The total of 105 full papers accepted for publication in these proceedings were carefully reviewed and selected from 285 submissions. The papers of the first volume are organized in the following topical sections: Knowledge Engineering and Semantic Web, Natural Language Processing, Decision Support and Control Systems, Computer Vision Techniques, Machine Learning and Data Mining, Deep Learning Models, Advanced Data Mining Techniques and Applications, Multiple Model Approach to Machine Learning. The papers of the second volume are divided into these topical sections: Application of Intelligent Methods to Constrained Problems, Automated Reasoning with Applications in Intelligent Systems, Current Trends in Arti cial Intelligence, Optimization, Learning,and Decision-Making in Bioinformatics and Bioengineering, Computer Vision and Intelligent Systems, Data Modelling and Processing for Industry 4.0, Intelligent Applications of Internet of Things and Data AnalysisTechnologies, Intelligent and Contextual Systems, Intelligent Systems and Algorithms in Information Sciences, Intelligent Supply Chains and e-Commerce, Privacy, Security and Trust in Arti cial Intelligence, Interactive Analysis of Image, Video and Motion Data in LifeSciences.

The two-volume set LNAI 12033 and 11034 constitutes the refereed proceedings of the 12th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2020, held in Phuket, Thailand, in March 2020. The total of 105 full papers accepted for publication in these proceedings were carefully reviewed and selected from 285 submissions. The papers of the first volume are organized in the following topical sections: Knowledge Engineering and Semantic Web, Natural Language Processing, Decision Support and Control Systems, Computer Vision Techniques, Machine Learning and Data Mining, Deep Learning Models, Advanced Data Mining Techniques and Applications, Multiple Model Approach to Machine Learning. The papers of the second volume are divided into these topical sections: Application of Intelligent Methods to Constrained Problems, Automated Reasoning with Applications in Intelligent Systems, Current Trends in Arti cial Intelligence, Optimization, Learning,and Decision-Making in Bioinformatics and Bioengineering, Computer Vision and Intelligent Systems, Data Modelling and Processing for Industry 4.0, Intelligent Applications of Internet of Things and Data AnalysisTechnologies, Intelligent and Contextual Systems, Intelligent Systems and Algorithms in Information Sciences, Intelligent Supply Chains and e-Commerce, Privacy, Security and Trust in Arti cial Intelligence, Interactive Analysis of Image, Video and Motion Data in LifeSciences.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Security for Information Technology and Communications, SecITC 2019, held in Bucharest, Romania, in November 2019.The 14 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 34 submissions. The papers present a wide range from cryptographic algorithms, to digital forensic and cyber security.

This two-volume set constitutes the proceedings of the 5th Asian Conference on ACPR 2019, held in Auckland, New Zealand, in November 2019. The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. computer vision and robot vision; pattern recognition and machine learning;

This two-volume set constitutes the proceedings of the 5th Asian Conference on ACPR 2019, held in Auckland, New Zealand, in November 2019. The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. computer vision and robot vision; pattern recognition and machine learning;

This book constitutes the proceedings of the 14th International Conference on Computational Processing of the Portuguese Language, PROPOR 2020, held in Evora, Portugal, in March 2020. The 36 full papers presented together with 5 short papers were carefully reviewed and selected from 70 submissions. natural language processing applications;

This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019. The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions.

The papers focus on advancedresearch developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence and describe advanced ideas, technologies, methods, and applications in optimization and machine learning.

This book constitutes the proceedings of the 7th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in April 2020.

This Festschrift is in honor of Ker-I Ko, Professor in the Stony Brook University, USA. He contributed significantly to advancing the theory of structural complexity, especially on polynomial-time isomorphism, instance complexity, and relativization of polynomial-time hierarchy.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Smart Card Research and Advanced Applications, CARDIS 2019, held in Prague, Czech Republic, in November 2019. The 15 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed post-conference proceedings of the Second International Workshop on Information & Operational Technology (IT & OT) security systems, IOSec 2019 , the First International Workshop on Model-driven Simulation and Training Environments, MSTEC 2019, and the First International Workshop on Security for Financial Critical Infrastructures and Services, FINSEC 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019. The IOSec Workshop received 17 submissions from which 7 full papers were selected for presentation. They cover topics related to security architectures and frameworks for enterprises, SMEs, public administration or critical infrastructures, threat models for IT & OT systems and communication networks, cyber-threat detection, classification and pro ling, incident management, security training and awareness, risk assessment safety and security, hardware security, cryptographic engineering, secure software development, malicious code analysis as well as security testing platforms. From the MSTEC Workshop 7 full papers out of 15 submissions are included. The selected papers deal focus on the verification and validation (V&V) process, which provides the operational community with confidence in knowing that cyber models represent the real world, and discuss how defense training may benefit from cyber models. The FINSEC Workshop received 8 submissions from which 3 full papers and 1 short paper were accepted for publication. The papers reflect the objective to rethink cyber-security in the light of latest technology developments (e.g., FinTech, cloud computing, blockchain, BigData, AI, Internet-of-Things (IoT), mobile-first services, mobile payments).

The papers are organized in topics on malware analysis and detection, IoT and CPS security enterprise network security, software security, system security, authentication, applied cryptograph internet security, machine learning security, machine learning privacy, Web security, steganography and steganalysis.

This book constitutes the revised selected papers from the 14th International Conference on Risks and Security of Internet and Systems, CRiSIS 2019, held in Hammamet, Tunisia, in October 2019. The 20 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 64 submissions.

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019.

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

This book constitutes the refereed proceedings of the 23rd International IFIP conference on Optical Network Design and Modeling, ONDM 2019, held in Athens, Greece, in May 2019. The 39 revised full papers were carefully reviewed and selected from 87 submissions. The papers focus on cutting-edge research in established areas of optical networking as well as their adoption in support of a wide variety of new services and applications. This involves the most recent trends in networking including 5G and beyond, big data and network data analytics, cloud/edge computing, autonomic networking, artificial intelligence assisted networks, secure and resilient networks, that drive the need for increased capacity, efficiency, exibility and adaptability in the functions that the network can perform. In this context new disaggregated optical network architectures were discussed, exploiting and integrating novel multidimensional photonic technology solutions as well as adopting open hardware and software platforms relying on software defined networking (SDN), and network function virtualization (NFV) to allow support of new business models and opportunities.