Search results

Articles (4)

Journals (0)

1-4 of 4 results for Tamarin prover

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2022-8-25

Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols 1

Véronique Cortier, Stéphanie Delaune, Jannik Dreier [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-11-8

Steve Kremer, Robert Künnemann

Journal of Computer Security

Retricted access

Research article

First published 2020-2-4

Jannik Dreier, Lucca Hirschi, Saša Radomirović [...]

Journal of Computer Security

Retricted access

Research article

First published 2019-3-29

Cas Cremers, Martin Dehnel-Wild, Kevin Milner

Journal of Computer Security