Report title:CellScope: Automatically Specifying and Verifying Cellular seabet online sports betting
Report time:December 16, 2019 9:00 am
Reporting location: Computer Building of the school headquarters313 Lecture Hall
Reporter: Dr. Yu Yinbo
Report Summary:Cellular networks bring us great convenience by allowing us to access networks any time anywhere. The convenience, however, suffers from design and logic flaws in seabet online sports betting, which exposes various security problems both to users and service providers. Many research efforts have been proposed to identify flaws in cellular seabet online sports betting, but most of them involve a lot of manual work. In this talk, an automated framework based on formal method for specifying and verifying cellular seabet online sports betting (CellScope) is proposed. In particular, CellScope consists of two parts: a parser frontend and a verification backend. The frontend automatically translates LTE source code to formal models and optimizes models by our property-driven slicing mechanism to reduce state space. In the backend, a counterexample guided sparse value flow analysis mechanism is proposed to enhance the accuracy of model checking. CellScope has been evaluated with an open-source LTE seabet online sports betting software (over million lines of code) and identified several known and unknown vulnerabilities. These found vulnerabilities have been validated with real LTE simulators and phones.
About the speaker: Yu Yinbo,2014Graduated from School of Electronic Information, Wuhan seabet online sports betting，Bachelor's degree in Engineering；2014Studying at the School of Electronic Information, Wuhan seabet online sports betting for a combined master’s and doctoral degree since this year；2017Year to Year2019Received funding from the China Scholarship Council for joint doctoral training at Northwestern seabet online sports betting in the United States，MentorIEEE FellowProfessor Chen Yan。His main research direction is network security、Formal verification、Intent Network、Software-defined networking and network functions virtualization。Currently，He has published relevant seabet online sports betting papers9articles, single article impact factor exceeds20, includingIEEE COMMUN SURV TUT, JNCA, CNand other internationally renowned journals, andACM SIGCOMM, IEEE IM and other internationally renowned conferences. At the same time, he also served asCCS, ICDCS, ESORIC, IEEE/ACM ToN, IEEE COMMUN SURV TUT, IEEE System JournalsA reviewer for top international journals and conferences.
