CellScope: Automatically Specifying and Verifying Cellular Network Protocols

short-paper Share on CellScope: Automatically Specifying and Verifying Cellular Network Protocols Authors: Yinbo Yu School of Electronic Information, Wuhan University, China and Department of Computer Science, Northwestern University, USA School of Electronic Information, Wuhan University, China and Department of Computer Science, Northwestern University, USAView Profile , You Li Department of Computer Science, Northwestern University, USA Department of Computer Science, Northwestern University, USAView Profile , Kaiyu Hou Department of Computer Science, Northwestern University, USA Department of Computer Science, Northwestern University, USAView Profile , Yan Chen Department of Computer Science, Northwestern University, USA Department of Computer Science, Northwestern University, USAView Profile , Hai Zhou Department of Computer Science, Northwestern University, USA Department of Computer Science, Northwestern University, USAView Profile , Jianfeng Yang School of Electronic Information, Wuhan University, China School of Electronic Information, Wuhan University, ChinaView Profile Authors Info & Claims SIGCOMM Posters and Demos '19: Proceedings of the ACM SIGCOMM 2019 Conference Posters and DemosAugust 2019 Pages 21–23https://doi.org/10.1145/3342280.3342294Published:19 August 2019Publication History 2citation228DownloadsMetricsTotal Citations2Total Downloads228Last 12 Months25Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access