Create CITATION.bib

CITATION.bib

@@ -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}
+}