Bücher der Reihe Foundations and Trends (R) in Privacy and Security

Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.

Provides an introduction to multi-party computation for practitioners interested in building privacy-preserving applications and researchers who want to work in the area. The goal is to enable readers to understand what is possible today, and what may be possible in the future.

Provides the reader with a broad overview of the concept of accountability in computing. In doing so, the authors introduce the topic and place it in context of the social and systematic factors which help to define the term.