Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Sofia Giampietro, Ralf Sasse, David Basin
DOI: 10.5281/zenodo.18261509
Cited by: 0

Abstract

Artifact for the paper "Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models".

Fields of Study & Subjects

Cryptography and Data Security Advanced Authentication Protocols Security Formal Methods in Verification

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
15 January 2026