Blockchain and distributed-ledger technologies enable new modes of communication, synchronization, and transfer of value with a broad impact on IoT, Data Science, society, industry, commerce, and government. This book studies the potential impact of Blockchain and distributed-ledger technologies on IoT. It highlights the application of possible solutions in the domain of Blockchain and IoT system security, including cryptology, distributed systems, law, formal methods, code verification and validation, software, and systems metrics. As the field is growing fast, the book adapts to the changing research landscape, integrates and cross-link studies and citations in related subfields, and provides an overview of these fields and how they complement each other. This book is intended for postgraduate students and researchers in the departments of Computer Science, working in the areas of IoT, blockchain, Deep Learning, Machine Learning, image processing and Big Data.