보고서 제목 :CEllscope : 셀룰러를 자동으로 지정하고 확인 네트강남 카지노 프로토콜
보고서 시간 :2019 년 12 월 16 일 오전 9시
보고서 위치 : 학교 본부 컴퓨터 건물313 강당
스피커 : 강남 카지노 Yinbo 박사
보고서 요약 :셀룰러 네트강남 카지노는 언제 어디서나 네트강남 카지노에 액세스 할 수있게함으로써 우리에게 큰 편의를 제공합니다. 그러나 편의성은 네트강남 카지노 프로토콜의 설계 및 논리 결함으로 고통 받고 있습니다.ex는 사용자와 서비스 제공 업체 모두에게 다양한 보안 문제를 제시합니다. 셀룰러 네트강남 카지노 프로토콜의 결함을 식별하기 위해 많은 연구 노력이 제안되었지만 대부분의 수동 작업이 포함됩니다. 이 토크에서 셀룰러를 지정하고 확인하기위한 공식적인 방법을 기반으로 자동화 된 프레임 강남 카지노 네트강남 카지노 프로토콜 (CellScope)이 제안됩니다. 특히 CellScope는 파서 프론트 엔드와 검증 백엔드의 두 부분으로 구성됩니다. 전면은 LTE 소스 코드를 공식 모델로 자동으로 변환하고 상태 공간을 줄이기 위해 속성 중심 슬라이싱 메커니즘으로 모델을 최적화합니다. 백엔드에서, 반례 드문 값 흐름을 유도분석모델 점검의 정확도를 높이기위한 메커니즘이 제안되었습니다. CellScope는 Open-Source LTE 네트강남 카지노 소프트웨어 (백만 개 이상의 코드 라인)로 평가되었으며 알려진 몇 가지 알려진 알려진 취약점을 확인했습니다. 이 발견 된 취약점은 실제 LTE 시뮬레이터 및 전화로 검증되었습니다.
스피커 프로파일 : 강남 카지노 Yinpine,20142018 년 Wuhan 강남 카지노 School of Electronic School을 졸업하고 공학 학사 학위를 취득했습니다.2014현재부터 그는 Wuhan 강남 카지노의 전자 정보 학교에서 석사 및 박사 학위를 공부 해 왔습니다.2017연도20191920 년, 미국 노스 웨스턴 대학교에서 공동 박사 과정 훈련을 위해 자금을 지원하는 National Scholarship Fund CommissionIEEE Chen Yan 교수. 그의 주요 연구 방향은 네트강남 카지노 보안, 공식 검증, 의도 네트강남 카지노, 소프트웨어 정의 네트강남 카지노 및 네트강남 카지노 기능 가상화입니다. 현재, 그는 관련 학술 논문을 출판했습니다9기사, 단일 기사의 영향 요인이 초과20, 포함iEee Commun Surv Tut, JNCA, CN그리고 다른 유명한 국제 저널뿐만 아니라acm SIGCOMM, IEEE IM 및 기타 유명한 국제 회의. 동시에, 그는 또한CCS, ICDCS, Esoric, IEEE/ACM TON,ieee Commun Surv Tut, IEEE 시스템 저널와 같은 최고의 국제 저널 및 회의의 검토 자.
