Communication networks like the Internet form a large distributed system where a huge
number of components run in parallel, such as security protocols and distributed web …

This paper deals with a problem that arises in vertical composition of protocols, ie, when a
channel protocol is used to encrypt and transport arbitrary data from an application protocol …

Belenios is an online voting system that provides a strong notion of election verifiability,
where no single party has to be trusted, and security holds as soon as either the voting …

In this paper, we report on our experience of teaching formal methods as part of an
introductory computer and network security module. This module is part of an applied …

Isabelle/DOF is an ontology framework on top of Isabelle/HOL. It allows for the formal
development of ontologies and continuous conformity-checking of integrated documents …

Document ontologies, ie, a machine readable form of the structure of documents as well as
the document discourse, play a key role in structuring the link between semantic notions and …

This paper shows how to apply the idea of Three branches of Accountability by Mödersheim
and Cuellar to make banking transactions accountable, ie, neither can the customer later …

In this paper, we report on our experience of teaching formal methods as part of an
introductory computer and network security mod-ule. This module is part of an applied …

This thesis examines the OAuth 2.0 protocol within Single Sign-On (SSO) systems through
modelling and formal analysis. The versatile Performing Security Proofs of Stateful Protocols …

This paper deals with a problem that arises in vertical composition of protocols, ie, when a
channel protocol is used to encrypt and transport arbitrary data from an application protocol …