%0 Conference Paper %1 conf/ccs/HussainEKCB19 %A Hussain, Syed Rafiul %A Echeverria, Mitziu %A Karim, Imtiaz %A Chowdhury, Omar %A Bertino, Elisa %B ACM Conference on Computer and Communications Security %D 2019 %E Cavallaro, Lorenzo %E Kinder, Johannes %E Wang, XiaoFeng %E Katz, Jonathan %I ACM %K dblp %P 669-684 %T 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#HussainEKCB19 %@ 978-1-4503-6747-9

@inproceedings{conf/ccs/HussainEKCB19, added-at = {2020-03-06T00:00:00.000+0100}, author = {Hussain, Syed Rafiul and Echeverria, Mitziu and Karim, Imtiaz and Chowdhury, Omar and Bertino, Elisa}, biburl = {https://www.bibsonomy.org/bibtex/23542b8cd622e4b3b47f30acd97f96b0e/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2019}, editor = {Cavallaro, Lorenzo and Kinder, Johannes and Wang, XiaoFeng and Katz, Jonathan}, ee = {https://doi.org/10.1145/3319535.3354263}, interhash = {b44a8e35ff23cb09c03f884ba0891850}, intrahash = {3542b8cd622e4b3b47f30acd97f96b0e}, isbn = {978-1-4503-6747-9}, keywords = {dblp}, pages = {669-684}, publisher = {ACM}, timestamp = {2020-11-11T11:36:19.000+0100}, title = {5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2019.html#HussainEKCB19}, year = 2019 }