Your search for Information Security and Cryptography

The Science of Quantitative Information Flow

Round and Computational Efficiency of Multi-party Protocols

Modeling and Analyzing Security Protocols with Tamarin

Security Protocols and Threat Models

The Design of Rijndael

The Theory of Hash Functions and Random Oracles

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

Secure Data Deletion

SCION: A Secure Internet Architecture

Modelling and Verification of Secure Exams

Tutorials on the Foundations of Cryptography

Data Encryption at the Intersection of Mathematics and Physics

The Complete Guide to SCION

Cryptography in Constant Parallel Time

Operational Semantics and Verification of Security Protocols

Locally Decodable Codes and Private Information Retrieval Schemes

Towards Hardware-Intrinsic Security

Advanced Statistical Steganalysis

The LLL Algorithm

The Design of Rijndael