A Tutorial-Style Introduction to DY

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Science and Business Media Deutschland GmbH
Pages77-97
Number of pages21
DOIs
Publication statusPublished - 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13066 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Cryptographic protocols
  • F
  • Formal methods
  • Mechanized proofs
  • Protocol analysis

Cite this