Blocks and Chains: Introduction to Bitcoin, Cryptocurrencies, Their Consensus Mechanisms (Synthesis Lectures on Information Security, Privacy, Trust)

Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust)

Private Information Retrieval (Synthesis Lectures on Security, Privacy, and Trust)

Quorum Systems: With Applications to Storage and Consensus (Synthesis Lectures on Distributed Computing Theory)

Introduction to Logic Synthesis using Verilog HDL (Synthesis Lectures on Digital Circuits & Systems)