BibTeX record conf/birthday/ShermanLLZCGWBY20

• > Home > conf/birthday/ShermanLLZCGWBY20

@inproceedings{DBLP:conf/birthday/ShermanLLZCGWBY20,
  author       = {Alan T. Sherman and
                  Erin Lanus and
                  Moses Liskov and
                  Edward Zieglar and
                  Richard Chang and
                  Enis Golaszewski and
                  Ryan Wnuk{-}Fink and
                  Cyrus J. Bonyadi and
                  Mario Yaksetig and
                  Ian Blumenfeld},
  editor       = {Vivek Nigam and
                  Tajana Ban Kirigin and
                  Carolyn L. Talcott and
                  Joshua D. Guttman and
                  Stepan L. Kuznetsov and
                  Boon Thau Loo and
                  Mitsuhiro Okada},
  title        = {Formal Methods Analysis of the Secure Remote Password Protocol},
  booktitle    = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {12300},
  pages        = {103--126},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62077-6\_9},
  doi          = {10.1007/978-3-030-62077-6\_9},
  timestamp    = {Sun, 06 Aug 2023 20:52:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ShermanLLZCGWBY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}