%0 Conference Paper %1 conf/eurosp/Cohn-GordonCDGS17 %A Cohn-Gordon, Katriel %A Cremers, Cas %A Dowling, Benjamin %A Garratt, Luke %A Stebila, Douglas %B EuroS&P %D 2017 %I IEEE %K dblp %P 451-466 %T A Formal Security Analysis of the Signal Messaging Protocol. %U http://dblp.uni-trier.de/db/conf/eurosp/eurosp2017.html#Cohn-GordonCDGS17 %@ 978-1-5090-5762-7

@inproceedings{conf/eurosp/Cohn-GordonCDGS17, added-at = {2024-05-07T00:00:00.000+0200}, author = {Cohn-Gordon, Katriel and Cremers, Cas and Dowling, Benjamin and Garratt, Luke and Stebila, Douglas}, biburl = {https://www.bibsonomy.org/bibtex/2afe7511a1d70d14f9204726f4bbd3a6f/dblp}, booktitle = {EuroS&P}, crossref = {conf/eurosp/2017}, ee = {https://doi.org/10.1109/EuroSP.2017.27}, interhash = {6bba51f97a737fa1068b30d9cc4486d0}, intrahash = {afe7511a1d70d14f9204726f4bbd3a6f}, isbn = {978-1-5090-5762-7}, keywords = {dblp}, pages = {451-466}, publisher = {IEEE}, timestamp = {2024-05-13T08:15:56.000+0200}, title = {A Formal Security Analysis of the Signal Messaging Protocol.}, url = {http://dblp.uni-trier.de/db/conf/eurosp/eurosp2017.html#Cohn-GordonCDGS17}, year = 2017 }