tamarin-prover

The Tamarin prover repository This README describes the organization of the repository of the Tamarin prover for security protocol verification. Its intended audience are interested users and future developers of the Tamarin prover. For installation and usage instructions of the Tamarin prover se...

PRA-TLS: Attestation of a Client Application for TEE

Trusted Execution Environments TEEs are secure foundations for protecting sensitive information and executing computations over confidential data. Processing in an isolated execution environment enclave is invoked by an untrusted application in the Rich Execution Environment REE. Then the enclave...

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...