网络信息安全系列学术报告
活动时间:2020年8月4日 08:00-13:00 (报告1-2)
活动地点:腾讯会议(ID:841 613 929)
活动组织:ABG欧博网平台登录 网络信息安全团队
报告信息
报告1:Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling
报告人:杜小江 教授 IEEE Fellow 天普大学
摘 要:Internet of Thing (IoT) platforms prosper home automation applications. Prior research concerns intra-app security. Our work reveals that apps, even secured individually, still cause a family of threats when they interplay, terms as Cross-App Interference (CAI) threats. We systematically categorize such threats and encode them using satisfiability modulo theories (SMT). We present HomeGuard, a system for detecting and handling CAI threats in real deployments. A symbolic executor is built to extract rule semantics and instrumentation is utilized to capture configuration during app installation. Rules and configuration are checked against SMT models, the solution of which synthesizes corresponding CAI threats. We combine app functionalities, device attributes and CAI types to label the risk level of CAI instances. In our evaluation, HomeGuard discovers 663 CAI instances from 146 SmartThings market apps, imposing extra 2.7s latency upon app installation and no runtime overhead.
讲座人简介:杜小江现任美国天普大学(Temple University)计算机系的正教授。他于1996年和1998年分别从清华大学获得学士和硕士学位,2002年和2003年分别从美国马里兰大学获得电子工程硕士和博士学位。杜博士的研究方向主要包括无线系统安全、物联网安全、计算机网络安全、和无线网络与通信等。无线系统安全、计算机通信和在异构传感器网络等方面做出了开创性的研究。杜教授在Springer出版专著一本. 目前已在国际顶级期刊和会议上发表论文400多篇,其中SCI收录150余篇,4篇文章获得了国际会议的最佳论文奖,论文引用超过10000次。是5个国际期刊的编委,多次担任过IEEE/ACM国际会议的主席。杜教授已经主持了20项美国政府的科研项目,获得的科研经费超过6百万美元,其中10项是由美国国家科学基金会资助,3项是由美国陆军研究局资助, 2项是由美国空军研究局资助. 杜博士目前是IEEE Fellow,以及ACM终身会员。
报告2:密码货币的隐私与可监管
报告人:李艳楠 博士 澳大利亚Wollongong大学
摘要:数字货币的隐私与监管是一对重要但略显冲突的性质,介绍几种主流数字货币所使用的密码技术,包括同态承诺,零知识证明和ZKSNARKS等,然后介绍我们最近设计的可追踪数字货币Traceable Monero。
讲座人简介:李艳楠,澳大利亚Wollongong大学博士,研究方向为区块链安全,2014年、2017年从电子科技大学获得学士和硕士学位。在IEEE TIFS、IEEE TDSC、IEEE JSAC、IEEE Wireless Communications、IEEE Network、ACISP等国际期刊和会议发表学术论文30余篇,论文被引用600余次,3篇论文入选ESI热点论文,4篇论文入选ESI高倍引论文。获中国国家留学基金委员会2019年度国家优秀自费留学生奖学金。