Information Security and Cryptography – serie

Modelling and Verification of Secure Exams

Theory of Hash Functions and Random Oracles

An Approach to Modern Cryptography

Theory of Hash Functions and Random Oracles

An Approach to Modern Cryptography

Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

Computer Security and the Internet

Tools and Jewels from Malware to Bitcoin

Complete Guide to SCION

From Design Principles to Formal Verification

Complete Guide to SCION

From Design Principles to Formal Verification

Guide to Internet Cryptography

Security Protocols and Real-World Attack Implications

Guide to Internet Cryptography

Security Protocols and Real-World Attack Implications

Lattice-Based Cryptography

From Theory to Practice

Fault-Tolerant Distributed Consensus in Synchronous Networks

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

Round and Computational Efficiency of Multi-party Protocols

Guide to Feistel Ciphers

Security Proofs and Cryptanalysis

Introduction to Security Science

Basic Concepts and Mathematical Foundations

Security Protocols and Threat Models

Security and Privacy via The Applied π-Calculus

Cryptography Made Simple

Secure Data Deletion

Cryptography Made Simple

Tutorials on the Foundations of Cryptography

Dedicated to Oded Goldreich

SCION: A Secure Internet Architecture

Modelling and Verification of Secure Exams

Secure Data Deletion

Tutorials on the Foundations of Cryptography

Dedicated to Oded Goldreich

SCION: A Secure Internet Architecture

Science of Quantitative Information Flow

Concurrent Zero-Knowledge

With Additional Background by Oded Goldreich

Design of Rijndael

AES - The Advanced Encryption Standard

Protocols for Authentication and Key Establishment