Ishtiaq, Abdullah Al, Das, Sarkar_Snigdha_Sarathi, Rashid, Syed_Md_Mukit, Ranjbar, Ali, Tu, Kai, Wu, Tianwei, Song, Zhezheng, Wang, Weixuan, Akon, Mujtahid Al-Islam, Zhang, Rui, and Hussain, Syed_Rafiul. Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. Retrieved from https://par.nsf.gov/biblio/10535847.

Ishtiaq, Abdullah Al, Das, Sarkar_Snigdha_Sarathi, Rashid, Syed_Md_Mukit, Ranjbar, Ali, Tu, Kai, Wu, Tianwei, Song, Zhezheng, Wang, Weixuan, Akon, Mujtahid Al-Islam, Zhang, Rui, & Hussain, Syed_Rafiul. Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. Retrieved from https://par.nsf.gov/biblio/10535847.

Ishtiaq, Abdullah Al, Das, Sarkar_Snigdha_Sarathi, Rashid, Syed_Md_Mukit, Ranjbar, Ali, Tu, Kai, Wu, Tianwei, Song, Zhezheng, Wang, Weixuan, Akon, Mujtahid Al-Islam, Zhang, Rui, and Hussain, Syed_Rafiul. "Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications". Country unknown/Code not available: USENIX. https://par.nsf.gov/biblio/10535847.

@article{osti_10535847,
place = {Country unknown/Code not available}, title = {Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications}, url = {https://par.nsf.gov/biblio/10535847}, abstractNote = {}, journal = {}, publisher = {USENIX}, author = {Ishtiaq, Abdullah Al and Das, Sarkar_Snigdha_Sarathi and Rashid, Syed_Md_Mukit and Ranjbar, Ali and Tu, Kai and Wu, Tianwei and Song, Zhezheng and Wang, Weixuan and Akon, Mujtahid Al-Islam and Zhang, Rui and Hussain, Syed_Rafiul}, }