BibTeX record conf/sp/ArquintWLSSWBM23

• > Home > conf/sp/ArquintWLSSWBM23

@inproceedings{DBLP:conf/sp/ArquintWLSSWBM23,
  author       = {Linard Arquint and
                  Felix A. Wolf and
                  Joseph Lallemand and
                  Ralf Sasse and
                  Christoph Sprenger and
                  Sven N. Wiesner and
                  David A. Basin and
                  Peter M{\"{u}}ller},
  title        = {Sound Verification of Security Protocols: From Design to Interoperable
                  Implementations},
  booktitle    = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
                  CA, USA, May 21-25, 2023},
  pages        = {1077--1093},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SP46215.2023.10179325},
  doi          = {10.1109/SP46215.2023.10179325},
  timestamp    = {Sun, 04 Aug 2024 19:40:42 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/ArquintWLSSWBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}