Skip to content

Commit

Permalink
Create CITATION.bib
Browse files Browse the repository at this point in the history
  • Loading branch information
ArquintL authored Dec 7, 2023
1 parent bc5fd96 commit 131932c
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions CITATION.bib
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
@inproceedings{ArquintWLSSWBM23,
author = {Arquint, Linard and Wolf, Felix A. and Lallemand, Joseph and Sasse, Ralf and Sprenger, Christoph and Wiesner, Sven N. and Basin, David and M\"uller, Peter},
booktitle = {2023 IEEE Symposium on Security and Privacy (SP)},
title = {Sound Verification of Security Protocols: From Design to Interoperable Implementations},
year = {2023},
volume = {},
number = {},
pages = {1077-1093},
keywords = {protocol-verification;symbolic-security;automated-verification;tamarin;separation-logic;implementation},
publisher = {IEEE},
month = may,
doi = {10.1109/SP46215.2023.10179325},
url = {https://doi.org/10.1109/SP46215.2023.10179325},
urltext = {Publisher},
url1 = {https://pm.inf.ethz.ch/publications/ArquintWolfLallemandSasseSprengerWiesnerBasinMueller23.pdf},
url1text = {PDF}
}

0 comments on commit 131932c

Please sign in to comment.