Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology and Network Security, CANS 2023, which was held in October/November 2023 in Augusta, GA, USA.The 25 papers presented were thoroughly revised and selected from the 54 submissions. They are organized in the following topical sections: Schemes I; Basic Primitives; Security; MPC with Cards; Blockchain; MPC and Secret Sharing; Schemes II.

This volume LNCS 14252 constitutes the refereed proceedings of 25th International Conference on Information and Communications Security, ICICS 2023, held in Tianjin, China, during November 18¿20, 2023. The 38 full papers presented together with 6 short papers were carefully reviewed and selected from 181 submissions. The conference focuses on: Symmetric-Key Cryptography; Public-Key Cryptography; Applied Cryptography; Authentication and Authorization; Privacy and Anonymity; Security and Privacy of AI; Blockchain and Cryptocurrencies; and System and Network Security.

This book constitutes the refereed proceedings of the 8th International Conference on Advances in Visual Informatics, IVIC 2023, held in Selangor, Malaysia in November 2023.The 51 full papers presented were carefully reviewed and selected from 101 submissions. The conference focused on 6 tracks: Modeling and Simulation, Mixed Reality and HCI, Systems Integration and IoT, Cybersecurity, Energy Informatics and Intelligent Data Analytics.

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Florence, Italy, in June 2023.The 26 papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering. The sessions covered a wide range of topics including robustness analysis, machine learning, edge and cloud computing, as well as more traditional topics on stochastic modelling, techniques and tools.

This book constitutes the refereed proceedings of the 8th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.The 13 full papers included in this book were carefully reviewed and selected from 16 submissions. They span a wide range of topics relevant to SASHIMI, and reflect recent developments in methods for segmentation, image-to-image translation, super-resolution, and image synthesis. Applications include MRI imaging, echocardiography, PET, and digital pathology.

This book constitutes the refereed proceedings of the 10th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2023, held in conjunction with the 26th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2023, in Vancouver, Canada, in October 2023.The 16 papers presented at OMIA 2023 were carefully reviewed and selected from 27 submissions. The papers cover various topics in the field of ophthalmic medical image analysis and challenges in terms of reliability and validation, number and type of conditions considered, multi-modal analysis (e.g., fundus, optical coherence tomography, scanning laser ophthalmoscopy), novel imaging technologies, and the effective transfer of advanced computer vision and machine learning technologies.

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11¿13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Mobile Services, AIMS 2023, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23¿26, 2023.The 9 full papers presented together and selected from 16 submissions. The conference focuses on AI modeling; AI analysis; AI & mobile applications; AI architecture; AI management; AI engineering; mobile backend as a service (MBaaS); and user experience of AI & mobile services.

This book constitutes the proceedings of the 6th International Conference on Blockchain, ICBC 2023, held as part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, during September 23¿26, 2023. The 9 full papers presented in this book were carefully reviewed and selected from 18 submissions. The conference focuses on new blockchain architecture, platform constructions, blockchain development, and blockchain services technologies as well as standards and blockchain services innovation lifecycle, including enterprise modeling, business consulting, solution creation, services orchestration, services optimization, services management, services marketing, and business process integration and management.

This book constitutes the proceedings of the 4th International Workshop on Advances in Simplifying Medical UltraSound, ASMUS 2023, held in conjunction with MICCAI 2023, the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention. The conference took place in Vancouver, BC, Canada, on October 8, 2023.The 19 papers presented in this book were carefully reviewed and selected from 30 submissions. They were organized in topical sections as follows:¿ advanced imaging, segmentation, and ultrasound techniques; predictive analysis, learning, and classification; multimodal imaging, reconstruction, and real-time applications; diagnostic enhancements and novel ultrasound innovations.

¿Volume LNCS 14414 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, which was held in Vancouver, Canada in October 2023.The DEMI 2023 proceedings contain 11 high-quality papers of 9 to 15 pages pre-selected through a rigorous peer review process (with an average of three reviews per paper). All submissions were peer-reviewed through a double-blind process by at least three members of the scientific review committee, comprising 16 experts in the field of medical imaging. The accepted manuscripts cover various medical image analysis methods and applications.

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23¿25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its applications; competitions, problem solving, and computational; robotics and unplugged modalities; and curricula and computer science concepts.This is an open access book.

This book constitutes the proceedings of 25th International Symposium, SSS 2023, in Jersey City, NJ, USA, in October 2023.The 32 full papers presented together with 8 short papers were carefully reviewed and selected from 78 submissions. The conference was organized into five tracks reflecting major trends related to the conference: (i) Track A. Self-stabilizing Systems:Theory and Practice, (ii) Track B. Distributed and Concurrent Computing:Foundations, Fault-Tolerance and Scalability, (iii) Track C. Cryptogrophy and Security, (iv) Track D. Dynamic, Mobile and Nature-Inspired Computing MobileAgents, (v) and Distributed Databases.

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3¿6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

This book constitutes the proceedings of the 24th International Conference on Web Information Systems Engineering, WISE 2023, held in Melbourne, Victoria, Australia, in October 2023.The 33 full and 40 short papers were carefully reviewed and selected from 137 submissions. They were organized in topical sections as follows: text and sentiment analysis; question answering and information retrieval; social media and news analysis; security and privacy; web technologies; graph embeddings and link predictions; predictive analysis and machine learning; recommendation systems; natural language processing (NLP) and databases; data analysis and optimization; anomaly and threat detection; streaming data; miscellaneous; explainability and scalability in AI.

This volume LNCS 14253 constitutes the refereed proceedings of the 14th International Conference, ICVS 2023, in Vienna, Austria, in September 2023.. The 37 full papers presented were carefully reviewed and selected from 74 submissions. The conference focuses on Humans and Hands; Medical and Health Care; Farming and Forestry; Automation and Manufacturing; Mobile Robotics and Autonomous Systems; and Performance and Robustness.

This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. The 33 full papers presented in this volume were carefully reviewed and selected from a total of 116 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science, or by extracting new graph theoretic problems from applications.

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7¿8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.

This book constitutes the refereed proceedings of the 19th International Conference on Metaverse, METAVERSE 2023, held in Honolulu, HI, USA, during September 23¿26, 2023.The 9 full papers and 3 short papers included in this book were carefully reviewed and selected from 15 submissions. They were organized in topical sections as follows: answer set programming; metaverse engineering foundations and applications, with a focus on novel approaches for engineering requirements, design and architectures, testing, maintenance and evolution, model-driven development, software processes, metrics, quality assurance and new software economics models, search-based software engineering, benefiting day-to-day services sectors and derived through experiences, with appreciation to scale, pragmatism, transparency, compliance and/or dependability.

This book constitutes the refereed proceedings of the 8th International Conference on Progress in Cryptology, LATINCRYPT 2023, held in Quito, Ecuador, in October 2023. The 19 full papers included in this book were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Symmetric-Key Cryptography; Multi-Party Computation; Isogeny-Based Cryptography; Discrete Logarithm Problem; Cryptographic Protocols; Real-World Cryptography; and Zero-Knowledge Proofs.

This book constitutes the refereed proceedings of the 27th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2023, held in Zadar, Croatia, during September 26¿29, 2023.The 13 full papers and 17 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Applications and digital library systems; data citation and citation analysis; discovering science, monitoring and publishing science; knowledge creation; Human-Computer Interaction; digital humanities; and digital cultural heritage.

This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE 2023, held in Pisa, Italy, during September 26¿28, 2023. The 31 full papers presented were carefully reviewed and selected from 47 submissions. They cover topics such as: data structures; algorithms; constrained Substring complexity; data compression codes; succinct k-spectra; and LCP array of wheeler DFAs.