tamarin-prover

El repositorio del probador Tamarin Este README describe la organización del repositorio del probador Tamarin para la verificación de protocolos de seguridad. Su público objetivo son los usuarios interesados y los futuros desarrolladores del probador Tamarin. Para obtener instrucciones de...

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)

Diffie-Hellman groups are commonly used in cryptographic protocols. While most state-of-the-art, symbolic protocol verifiers support them to some degree, they do not support all mathematical operations possible in these groups. In particular, they lack support for exponent addition, as these tool...