Cryptographic protocol (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Cryptographic protocol" in English language version.

refsWebsite

Global rank English rank

5web.archive.org

1^st place

2doi.org

2^nd place

2ox.ac.uk

613^th place

456^th place

1ccs-labs.org

low place

1worldcat.org

5^th place

1semanticscholar.org

11^th place

8^th place

1tue.nl

9,054^th place

6,363^rd place

1avispa-project.org

low place

1springer.com

274^th place

309^th place

1loria.fr

low place

1dtu.dk

low place

8,755^th place

1ai-lab.it

low place

1haskell.org

low place

7,198^th place

1ens-cachan.fr

low place

1upv.es

low place

1tamarin-prover.github.io

low place

ai-lab.it

"SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC)". Archived from the original on 2015-10-03. Retrieved 2016-10-17.

avispa-project.org

"Automated Validation of Internet Security Protocols and Applications (AVISPA)". Archived from the original on 22 September 2016. Retrieved 14 February 2024.

ccs-labs.org

"Cryptographic Protocol Overview" (PDF). 2015-10-23. Archived from the original (PDF) on 2017-08-29. Retrieved 2015-10-23.

doi.org

Chen, Shan; Jero, Samuel; Jagielski, Matthew; Boldyreva, Alexandra; Nita-Rotaru, Cristina (2021-07-01). "Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC". Journal of Cryptology. 34 (3): 26. doi:10.1007/s00145-021-09389-w. ISSN 0933-2790. S2CID 235174220.
Armando, A.; Arsac, W; Avanesov, T.; Barletta, M.; Calvi, A.; Cappai, A.; Carbone, R.; Chevalier, Y.; +12 more (2012). Flanagan, C.; König, B. (eds.). The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. Vol. 7214. LNTCS. pp. 267–282. doi:10.1007/978-3-642-28756-5_19. Retrieved 14 February 2024.{{cite book}}: CS1 maint: numeric names: authors list (link)

dtu.dk

people.compute.dtu.dk

Open-Source Fixed-Point Model-Checker (OFMC)

ens-cachan.fr

lsv.ens-cachan.fr

"Knowledge In Security protocolS (KISS)". Archived from the original on 2016-10-10. Retrieved 2016-10-07.

haskell.org

hackage.haskell.org

cpsa: Symbolic cryptographic protocol analyzer

loria.fr

cassis.loria.fr

"Constraint Logic-based Attack Searcher (Cl-AtSe)". Archived from the original on 2017-02-08. Retrieved 2016-10-17.

ox.ac.uk

cs.ox.ac.uk

semanticscholar.org

api.semanticscholar.org

Chen, Shan; Jero, Samuel; Jagielski, Matthew; Boldyreva, Alexandra; Nita-Rotaru, Cristina (2021-07-01). "Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC". Journal of Cryptology. 34 (3): 26. doi:10.1007/s00145-021-09389-w. ISSN 0933-2790. S2CID 235174220.

springer.com

link.springer.com

Armando, A.; Arsac, W; Avanesov, T.; Barletta, M.; Calvi, A.; Cappai, A.; Carbone, R.; Chevalier, Y.; +12 more (2012). Flanagan, C.; König, B. (eds.). The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. Vol. 7214. LNTCS. pp. 267–282. doi:10.1007/978-3-642-28756-5_19. Retrieved 14 February 2024.{{cite book}}: CS1 maint: numeric names: authors list (link)

tamarin-prover.github.io

Tamarin Prover

tue.nl

win.tue.nl

Berry Schoenmakers. "Lecture Notes Cryptographic Protocols" (PDF).

upv.es

personales.upv.es

Maude-NRL Protocol Analyzer (Maude-NPA)

web.archive.org

"Cryptographic Protocol Overview" (PDF). 2015-10-23. Archived from the original (PDF) on 2017-08-29. Retrieved 2015-10-23.
"Automated Validation of Internet Security Protocols and Applications (AVISPA)". Archived from the original on 22 September 2016. Retrieved 14 February 2024.
"Constraint Logic-based Attack Searcher (Cl-AtSe)". Archived from the original on 2017-02-08. Retrieved 2016-10-17.
"SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC)". Archived from the original on 2015-10-03. Retrieved 2016-10-17.
"Knowledge In Security protocolS (KISS)". Archived from the original on 2016-10-10. Retrieved 2016-10-07.

worldcat.org

Chen, Shan; Jero, Samuel; Jagielski, Matthew; Boldyreva, Alexandra; Nita-Rotaru, Cristina (2021-07-01). "Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC". Journal of Cryptology. 34 (3): 26. doi:10.1007/s00145-021-09389-w. ISSN 0933-2790. S2CID 235174220.