book chapterLecture notes in computer scienceJan 1, 2013Closed access

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

SMSimon Meier-VierackerBSBenedikt SchmidtCCCas CremersDBDavid Basin

ETH Zurich · IMDEA Software

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

618
total citations
FWCI
38.65
Percentile
100%
References
16
Citations per year

Authors

4

Topics & keywords

Topics
Keywords
  • Gas meter prover
  • Computer science
  • Cryptographic protocol
  • Adversary
  • Automated theorem proving
  • Programming language
  • Theoretical computer science
  • Symbolic execution
No related works found for this paper.