美国德雷塞尔大学（Drexel University）计算机系张悦（https://yue.zyueinfosec.com/）博士课题组招收2024年秋季入学的博士生（2名）。张老师团队主要专注于物联网和移动安全，特别在系统漏洞检测分析技术研究等方向上开展了大量的研究工作。团队主要使用逆向工程、程序分析、形式化证明等理论和技术手段来解决移动物联网设备、物联网协议（如蓝牙）、软件设备以及底层系统的安全问题。主要的研究方向：

· 物联网安全（如蓝牙安全）

· 移动安全（如Android系统安全和小程序安全）

· 程序分析（如污点分析、形式化证明、符号执行等）

博士研究生申请需要计算机相关领域本科或硕士学位，具有逆向工程、程序分析、经验者优先。

另外考虑招收1名具有人工智能背景的学生，愿意和学生一起探索开拓AI for Security的新领域。欢迎对相关领域具有兴趣的同学联系咨询具体情况，可发送个人简历至邮箱：

[email protected] 

或 [email protected]。

张悦，博士，现任德雷塞尔（Drexel University）大学任助理教授。曾在USENIX Security，ACM CCS，NDSS等安全领域顶级会议发表学术论文30余篇（其中安全四大顶会9篇，CCF-A类论文19篇）；获批美国专利5项、国家专利授权13项，实现专利成果转化1项。曾获ACM CCS最佳论文提名，ICII最佳论文，广东省自然科学奖一等奖、广东省CCF最佳论文一等奖等诸多奖项；担任IEEE MSN track chair，担任USENIX Security, NDSS，ACM CCS，RAID，SecureComm等著名安全会议程序委员会委员，TDSC，TIFS等著名期刊审稿人，CMC，Blockchain，PeerJ Computer Science等多家期刊编委。曾多次发现 Bluetooth SIG，谷歌、Apple、德州仪器、MQTT、腾讯等组织、知名公司的高危严重漏洞，获得Apple，德州仪器，谷歌等公司公开致谢和漏洞赏金。成果被中央电视台、新浪等媒体报道。

张老师与国内外的高校都有紧密联系，学生将有机会与各地高校的研究人员开展合作，比如国内的上海交大、东南大学、成都电子科技大学、西安电子科技大学，香港的城市大学及美国的若干学校（OSU, UCF, UMASS等）。