Search results

Articles (3)

Journals (0)

1-3 of 3 results for cryptographic invariants

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2003-4-1

First-order verification of cryptographic protocols

Ernie Cohen

Journal of Computer Security

Retricted access

Research article

First published 2014-7-11

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Retricted access

Research article

First published 2023-5-29

Tobias Klenze, Christoph Sprenger, David Basin

Journal of Computer Security