%0 Conference Paper %1 conf/codaspy/AlghamdiALM18 %A Alghamdi, Khalid %A Alqazzaz, Ali %A Liu, Anyi %A Hua, Ming %B CODASPY %D 2018 %E Zhao, Ziming %E Ahn, Gail-Joon %E Krishnan, Ram %E Ghinita, Gabriel %I ACM %K dblp %P 95-102 %T IoTVerif: An Automated Tool to Verify SSL/TLS Certificate Validation in Android MQTT Client Applications. %U http://dblp.uni-trier.de/db/conf/codaspy/codaspy2018.html#AlghamdiALM18

@inproceedings{conf/codaspy/AlghamdiALM18, added-at = {2022-04-20T00:00:00.000+0200}, author = {Alghamdi, Khalid and Alqazzaz, Ali and Liu, Anyi and Hua, Ming}, biburl = {https://www.bibsonomy.org/bibtex/2e4795bea2e995d5b7db9207c8c4a0ff0/dblp}, booktitle = {CODASPY}, crossref = {conf/codaspy/2018}, editor = {Zhao, Ziming and Ahn, Gail-Joon and Krishnan, Ram and Ghinita, Gabriel}, ee = {https://doi.org/10.1145/3176258.3176334}, interhash = {26a326463c557eafb644b40cad0660ad}, intrahash = {e4795bea2e995d5b7db9207c8c4a0ff0}, keywords = {dblp}, pages = {95-102}, publisher = {ACM}, timestamp = {2024-04-10T03:15:40.000+0200}, title = {IoTVerif: An Automated Tool to Verify SSL/TLS Certificate Validation in Android MQTT Client Applications.}, url = {http://dblp.uni-trier.de/db/conf/codaspy/codaspy2018.html#AlghamdiALM18}, year = 2018 }