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

Proceedings - Computer Security Foundations Workshop/Proceedings 2026 Open access

Read full text
Authors: Sofia Giampietro, Ralf Sasse, David Basin
DOI: 10.1109/csf68417.2026.00002
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
Proceedings - Computer Security Foundations Workshop/Proceedings
Pages
17–32
Publication date
1 July 2026