Books in the Lecture Notes in Computer Science series

This book constitutes the revised selected papers from the 24th International Conference on Information Security Applications, WISA 2023, held in Jeju Island, South Korea, during August 23¿25, 2023.The 25 papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Cryptography; network and application security; privacy and management; attacks and defenses; post-quantum cryptography and quantum cryptanalysis.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27¿28, 2023.Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year's workshop was ¿Humans in security protocols ¿ are we learning from mistakes?¿The topics covered are securing the human endpoint and proving humans correct.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4¿6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and Parallelized Computing, Storage Systems and File Management, Networking and Cloud Computing, Computer Architecture and Hardware Acceleration, Machine Learning and Data Analysis, Distinguished Work from Student Competition.

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18¿20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems.

This book constitutes the refereed proceedings of the 9th Joint International Conference on Serious Games, JCSG 2023, held in Dublin, Ireland, during October 26¿27, 2023.The 18 full papers presented together with 9 short papers and 14 poster papers were carefully reviewed and selected from 53 submissions. They are grouped into the following topics: technology and systems; theoretical and design aspects; health and wellbeing; extended realities; soft and social skills; academic skills; and posters and exhibits.

This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023. The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.

This book constitutes the refereed proceedings of the 21st International Conference of the International Graphonomics Society on Graphonomics in Human Body Movement, IGS 2023, held in Évora, Portugal, during October 16¿19, 2023.The 12 full papers presented in this book together with one short paper and two invited papers were carefully reviewed and selected from 23 submissions. The conference centers around graphonomics research aimed at comprehending the processes of handwriting acquisition and execution. Moreover, it delves deeper into the impact of the writer's neural, psychological, and biomechanical conditions on the various aspects of handwriting

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

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 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 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.