This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.

This book constitutes the refereed proceedings of the 13th International Conference on Information Systems Security, ICISS 2017, held in Mumbai, India, in December 2017.

This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.The 8 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 22 submissions.The International Conference on Blockchain (ICBC) aims to provide an international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state-of-the-art technologies and best practices of blockchain, as well as emerging...

This book constitutes the refereed proceedings of the18th International Conference on Information Systems Security, ICISS 2022, held in Tirupati, India, during December 16–20, 2022The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 55 submissions. They were organized in topical sections as follows: ​ostinato: cross-host attack correlation through attack activity similaritydetection; DKS-PKI: a distributed key server architecture for public keyinfrastructure;generating-set evaluation of bloom filter hardening techniques in privaterecord...