%0 Journal Article %1 journals/corr/abs-2103-11363 %A Aljaafari, Fatimah %A Cordeiro, Lucas C. %A Mustafa, Mustafa A. %A Menezes, Rafael %D 2021 %J CoRR %K dblp %T EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. %U http://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-11363 %V abs/2103.11363

@article{journals/corr/abs-2103-11363, added-at = {2021-03-24T00:00:00.000+0100}, author = {Aljaafari, Fatimah and Cordeiro, Lucas C. and Mustafa, Mustafa A. and Menezes, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2e23626be018124245902affcbc44dcd6/dblp}, ee = {https://arxiv.org/abs/2103.11363}, interhash = {8f1207d1a82adca2a8b18c8e0cf0d2a4}, intrahash = {e23626be018124245902affcbc44dcd6}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:10:28.000+0200}, title = {EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-11363}, volume = {abs/2103.11363}, year = 2021 }