(Q114847059)

English

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols

scientific article published in 2022

In more languages

default for all languages

No label defined

No description defined

edit

Statements

1 reference

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

title

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols (English)

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

author name string

David Basin

series ordinal

1

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

Cas Cremers

series ordinal

2

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

Jannik Dreier

series ordinal

3

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

Ralf Sasse

series ordinal

4

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

publication date

May 2022

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

published in

IEEE Security & Privacy

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

volume

20

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

issue

3

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

page(s)

24-32

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

Identifiers

DOI

10.1109/MSEC.2022.3154689

1 reference

stated in

Crossref

DOI

10.1109/msec.2022.3154689

reference URL

https://api.crossref.org/v1/works/https://doi.org/10.1109/msec.2022.3154689

retrieved

25 October 2022

(Q114847059)

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)