加强研究型大学建设提升高校国际竞争力-LoCCS-上海交通大学.PPTVIP

1896 1920 1987 2006 密码与计算机安全实验室 Lab of Cryptology and Computer Security 软件安全 主要研究成果 程序安全性分析技术 软件保护与反保护 软件漏洞分析 恶意代码分析 综合的自动化逆向分析平台 协议和算法的自动化识别 运行时信息的自动化提取 移动智能终端安全评估平台 Android综合安全分析系统DIAS iOS数据安全审计工具 主要承担研究项目 国家科技重大专项2012Z002 国家863、科技支撑计划 SafeNet东北亚高校合作计划支持 Software Security Main Research Program Security Analysis Software protection and anti-protection Vulerability analysis malicious code detection and analysis Comprehensive Automatic Reverse-engineering System Automatic extraction of algorithms and protocols Automatic extraction of sensitive runtime data Mobile Security Analysis Platform Android Security introspector - DIAS iOS data storage auditor - iForensics Projects National Science and Technology Major Projects 2012Z002 National High Technology Research and Development Program of China Key Project of the National Twelfth-Five Year Research Program of China 程序安全性分析 主要论文 Digital Forensic Analysis on Runtime Instruction Flow 一种精简二进制代码的程序理解方法 一种基于全系统仿真和指令流分析的二进制代码分析方法 二进制代码隐秘功能的安全性验证 动态指令流差分分析在恶意软件分析中的应用 PyXhon: Dynamic Detection of Security Vulnerabilities in Python 研究项目与内容 国家科技支撑计划课题--基于程序仿真的自动化算法识别 SafeNet东北亚高校合作项目--基于全系统仿真和指令流分析的二进制代码分析方法 二进制代码的运行时信息挖掘 动态指令流差分分析 Python语言的底层插桩分析 算法自动化识别 主要论文 Detection and Analysis of Cryptographic Data Inside Software, ISC 2011 Detecting Encryption Functions via Process Emulation and IL-based Program Analysis, ICICS 2012 研发的系统 LochsEmu: A lightweight Process Emulator 能够自动化识别密码算法 相比当前其它类似系统（数小时的识别时间），我们的系统具有最好的效率（数分钟的识别时间） 研究内容 国家科技重大专项--移动智能终端安全评估技术研究 针对Android和iOS系统，在操作系统、应用程序、硬件和数据四个方面进行安全分析和评估 研发了Dalvik Introspection OS安全分析系统和iBackup安全审计系统 Honeynet Mobile Malware Forensics Challenge 全球亚军 论文 Android Malware Forensics: Reconstruction of malicious events. ICDCS-NFSP 2012 Analysis on Privacy Threats in iOS Backup Mechanism 移动智能安全 Program Security Analysis Papers Digital Forensic Analysis on Runtime Instruction Flow A program understanding approach for stripped binary code Approach of binary code anal