Secure Protocol Composition under Dynamic Corruption: Models and Proofs

Figshare 2026 Open access

Read full text
Authors: Cas J. F. Cremers, Erik André Pallas, Aleksi Peltonen
DOI: 10.6084/m9.figshare.29958290.v2
Cited by: 0

Abstract

This repository contains the ProVerif models of the case studies discussed in and the Full Version of the paper Secure Protocol Composition under Dynamic Corruption: Scaling Up Symbolic Analysis for Real-World Security Protocols by Cas Cremers, Erik Pallas, and Aleksi Peltonen.

Publication details

Journal / source
Figshare
Publication date
1 January 2026