Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. pages 359-373, IEEE Computer Society, 2018. [doi]
@inproceedings{DreierHRS18,
title = {Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR},
author = {Jannik Dreier and Lucca Hirschi and Sasa Radomirovic and Ralf Sasse},
year = {2018},
doi = {10.1109/CSF.2018.00033},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2018.00033},
researchr = {https://researchr.org/publication/DreierHRS18},
cites = {0},
citedby = {0},
pages = {359-373},
booktitle = {31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-6680-7},
}