Secure Communication with Humans

Main content

Establishing a secure communication channel between two parties is a nontrivial problem, especially when one or both are humans. Unlike computers, humans are error-prone and cannot perform strong cryptographic operations without supporting technology. However, the technology humans rely on may itself be compromised.

This project aims to formally model and analyze systems in which humans, computers, and supporting devices interact, taking human limitations into account.

For questions and comments contact Lara Schmid or Sasa Radomirovic


PhD Theses

  • Michael Schläpfer, Secure end-to-end communication in remote internet voting, 2016. [PDF]

Master and Bachelor Theses


Precompiled binaries of Tamarin for Linux, Windows, and Mac OS X and sources are available. Read the compilation and installation instructions. More information about the Tamarin prover is given on the Tamarin prover site.


Page URL:
Tue Jun 27 03:50:14 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich