Hussain, Syed Rafiul, Echeverria, Mitziu, Karim, Imtiaz, Chowdhury, Omar, and Bertino, Elisa. 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. Retrieved from https://par.nsf.gov/biblio/10162507. ACM SIGSAC Conference on Computer and Communications Security . Web. doi:10.1145/3319535.3354263.

Hussain, Syed Rafiul, Echeverria, Mitziu, Karim, Imtiaz, Chowdhury, Omar, & Bertino, Elisa. 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. ACM SIGSAC Conference on Computer and Communications Security, (). Retrieved from https://par.nsf.gov/biblio/10162507. https://doi.org/10.1145/3319535.3354263

Hussain, Syed Rafiul, Echeverria, Mitziu, Karim, Imtiaz, Chowdhury, Omar, and Bertino, Elisa. "5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol". ACM SIGSAC Conference on Computer and Communications Security (). Country unknown/Code not available. https://doi.org/10.1145/3319535.3354263. https://par.nsf.gov/biblio/10162507.

@article{osti_10162507,
place = {Country unknown/Code not available}, title = {5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol}, url = {https://par.nsf.gov/biblio/10162507}, DOI = {10.1145/3319535.3354263}, abstractNote = {}, journal = {ACM SIGSAC Conference on Computer and Communications Security}, author = {Hussain, Syed Rafiul and Echeverria, Mitziu and Karim, Imtiaz and Chowdhury, Omar and Bertino, Elisa}, }