Privately and Publicly Verifiable Computing Techniques: A Survey

Decoding the Universe: How the New Science of Information Is Explaining Everythingin the Cosmos, fromOu r Brains to Black Holes

Non-Invasive Data Governance: The Path of Least Resistance and Greatest Success

Introduction to Cryptography: Edition 2

The Big Switch: Rewiring the World, from Edison to Google

Single Sourcing: Building Modular Documentation

Introduction to Public Key Infrastructures

A Mind at Play: How Claude Shannon Invented the Information Age

The Age of Surveillance Capitalism: The Fight for a Human Future at the New Frontier of Power

How to Build a Digital Library

C++: Object-Oriented Data Structures

Free as in Freedom [Paperback]: Richard Stallman's Crusade for Free Software

Video coding standards: AVS China, H.264/MPEG-4 PART 10, HEVC, VP6, DIRAC and VC-1

Compilation for Secure Multi-party Computation

Perceptron Problem in Neural Network

Exodus to the Virtual World: How Online Fun Is Changing Reality

Computing as Writing

Virtual Ascendance: Video Games and the Remaking of Reality