印第安纳大学布卢明顿分校（IU Bloomington）计算机安全 张航课题组 CS Phd招生
7900
导师介绍
张航博士于2023年8月加入印第安纳大学布卢明顿分校（IU Bloomington）计算机科学系，以助理教授（tenure-track assistant professor）的身份进行系统和软件安全方面的研究。加入IUB之前，他从加州大学河滨分校（UC Riverside）取得博士学位，并在佐治亚理工（Georgia Tech）接受了博士后阶段的训练。现拟招收1-2名有志于从事计算机安全研究的同学在IUB攻读博士学位，计划入学时间为2024年春季或秋季。
张老师的主要研究兴趣为系统和软件安全，尤其是开发和应用程序分析技术对复杂软件系统（如Linux内核）进行安全分析和漏洞检测。他曾广泛使用不同的技术（如人工逆向工程，静态程序分析，动态模糊测试）在不同层面（如源码级，IR级和二进制代码级）进行软件安全分析，过去几年间在计算机安全以及软件工程的顶级会议（如ACM CCS，Usenix Security，ICSE，FSE）上发表了多篇文章，揭露了多个Linux内核中的安全漏洞，获得过来自Google，华为，三星，高通等厂商的致谢，并开源了多个实用的程序分析及安全检测工具，引起了学术界和工业界的兴趣（如补丁测试工具FIBER曾被商业化，用于车机上的1-day漏洞检测）。更多信息请参考张老师的个人主页：
hangz.me
张老师课题组未来拟开展以下几个方向的研究：
开发和应用新的程序分析技术，更加全面而高效地进行自动化的代码理解和软件安全分析。目标软件系统将包括重要的开源及闭源（二进制分析）软件，如操作系统内核，浏览器，大型生产力软件等。
探索不同程序分析技术的结合，提高现有工具的精度和效率并弥补彼此的不足之处。如静态分析，动态分析，human-in-the-loop，ML/DL，以及LLM（大语言模型）。
发掘和分析重要软件系统中新的攻击面以及安全漏洞，并研究其防御和缓解措施。
课题组诚挚邀请1-2名对软件和系统安全有强烈兴趣，拥有科研热情，基础扎实的同学于2024年春季或秋季入学IUB攻读博士学位（入学时需具有计算机相关专业的本科或以上学位）。将以RA（Research Assistant）或TA（Teaching Assistant）的形式提供全额奖学金，包括学费以及按月发放的生活津贴（足够支持在 Bloomington 的生活和日常开销）。
以下方面的经验和技能将成为加分项（但并非必须）：
软件安全漏洞的发现和分析（也许你手握多枚CVE，或熟悉各种漏洞利用技术）
程序分析技术（也许你熟悉LLVM框架，KLEE，Angr等符号执行工具，或通晓程序分析的常用方法及理论）
动态分析（也许你用过各种Fuzzing工具及技术，或Valgrind，DynamoRio等工具）
binary逆向工程（或许你熟练掌握IDA Pro， Ghidra，Frida等工具，或具有混淆，加壳，软件破解乃至游戏修改等方面的实践经验）
CTF经历（也许你是各种CTF比赛的常客）
对复杂软件系统的源码级深入理解（也许你深入分析甚至修改过Linux Kernel或其他大型软件某部分的代码）
感兴趣的同学请务必在截止日期（12月15日）之前在学校官网上提交申请（申请时可将张老师列为意向导师）：
luddy.indiana.edu
也非常欢迎大家给张老师发邮件介绍自己，或咨询其他相关事宜（请附上简历和/或其他可能会有所帮助的材料）：
[email protected]
学校与所在城市简介
Bloomington分校是印第安纳大学（IU）的旗舰校区，是美国历史最悠久的公立大学之一。公立常春藤，美国大学协会（AAU）成员，Big Ten成员，美国国家R1研究型大学，中国“境外大学学科综合竞争力目录（人文社会科学）”A级院校。学校具有独特的文艺气质，不仅体现在她顶级的人文学科（如享誉世界的Kelly商学院和Jacobs音乐学院），也体现在她风景如画的校园和古建筑（常年被评为美国最漂亮的大学校园之一）。IU也是少数几个拥有可供师生使用的超级计算机（如最新的BigRed 200系统）的大学。百年树人，在她200余年的校史中，多名校友荣获诺贝尔奖（10），普利策奖（23），格莱美奖（66），奥林匹克运动会奖牌（110）等重量级奖项。
对于希望从事博士阶段研究的同学来说，学校在专业方向上的科研实力尤为重要。IUB在计算机安全研究领域的排名稳定在全美前10（CS Rankings），这是因为学校拥有一众优秀的计算机安全研究人员。除了此次招生的张老师，系里还有如Wang Xiaofeng老师，Xing Luyi老师，Liao Xiaojing老师，Huang Yan老师等活跃在科研第一线的知名计算机安全学者。因此在IUB进行博士研究，你将受益于浓厚的计算机安全科研氛围，并有众多的与各位优秀的老师和同学进行深度交流合作的机会。
Bloomington是一个典型的大学城，城中居民很多是IUB的学生，老师及工作人员，普遍热情友好，可以说居住和生活环境总体上是非常安全的。Bloomington是一个比较小的城市，但是生活非常便利，各种超市，餐馆，购物中心，银行等一应俱全，在城中到任何地方基本都只需要不到15分钟的车程，如果你初来乍到没有购车，也有方便的公共交通可以利用。因为中国留学生比较多的缘故，城中也有两家中国超市，以及众多的中餐馆，因此不用担心海外求学生活饮食方面难以适应的问题。
Bloomington属于四季分明的大陆气候，纬度适中，夏季温暖而雨量丰沛，冬季会有降雪。城市素有“鲜花之城”的美誉，风景优美，周边的Monroe Lake也是休闲度假的胜地，很适合在学习科研之余放松心情。Bloomington离印第安纳州首府Indianapolis约一小时的车程，离芝加哥约四小时车程，说实话出行方面当然是没有一些大城市那么便利，但是搭乘国内和国际航班倒也问题不大，同时也避免了大城市的喧嚣。
张航博士于2023年8月加入印第安纳大学布卢明顿分校（IU Bloomington）计算机科学系，以助理教授（tenure-track assistant professor）的身份进行系统和软件安全方面的研究。加入IUB之前，他从加州大学河滨分校（UC Riverside）取得博士学位，并在佐治亚理工（Georgia Tech）接受了博士后阶段的训练。现拟招收1-2名有志于从事计算机安全研究的同学在IUB攻读博士学位，计划入学时间为2024年春季或秋季。
张老师的主要研究兴趣为系统和软件安全，尤其是开发和应用程序分析技术对复杂软件系统（如Linux内核）进行安全分析和漏洞检测。他曾广泛使用不同的技术（如人工逆向工程，静态程序分析，动态模糊测试）在不同层面（如源码级，IR级和二进制代码级）进行软件安全分析，过去几年间在计算机安全以及软件工程的顶级会议（如ACM CCS，Usenix Security，ICSE，FSE）上发表了多篇文章，揭露了多个Linux内核中的安全漏洞，获得过来自Google，华为，三星，高通等厂商的致谢，并开源了多个实用的程序分析及安全检测工具，引起了学术界和工业界的兴趣（如补丁测试工具FIBER曾被商业化，用于车机上的1-day漏洞检测）。更多信息请参考张老师的个人主页：
hangz.me
张老师课题组未来拟开展以下几个方向的研究：
开发和应用新的程序分析技术，更加全面而高效地进行自动化的代码理解和软件安全分析。目标软件系统将包括重要的开源及闭源（二进制分析）软件，如操作系统内核，浏览器，大型生产力软件等。
探索不同程序分析技术的结合，提高现有工具的精度和效率并弥补彼此的不足之处。如静态分析，动态分析，human-in-the-loop，ML/DL，以及LLM（大语言模型）。
发掘和分析重要软件系统中新的攻击面以及安全漏洞，并研究其防御和缓解措施。
课题组诚挚邀请1-2名对软件和系统安全有强烈兴趣，拥有科研热情，基础扎实的同学于2024年春季或秋季入学IUB攻读博士学位（入学时需具有计算机相关专业的本科或以上学位）。将以RA（Research Assistant）或TA（Teaching Assistant）的形式提供全额奖学金，包括学费以及按月发放的生活津贴（足够支持在 Bloomington 的生活和日常开销）。
以下方面的经验和技能将成为加分项（但并非必须）：
软件安全漏洞的发现和分析（也许你手握多枚CVE，或熟悉各种漏洞利用技术）
程序分析技术（也许你熟悉LLVM框架，KLEE，Angr等符号执行工具，或通晓程序分析的常用方法及理论）
动态分析（也许你用过各种Fuzzing工具及技术，或Valgrind，DynamoRio等工具）
binary逆向工程（或许你熟练掌握IDA Pro， Ghidra，Frida等工具，或具有混淆，加壳，软件破解乃至游戏修改等方面的实践经验）
CTF经历（也许你是各种CTF比赛的常客）
对复杂软件系统的源码级深入理解（也许你深入分析甚至修改过Linux Kernel或其他大型软件某部分的代码）
感兴趣的同学请务必在截止日期（12月15日）之前在学校官网上提交申请（申请时可将张老师列为意向导师）：
luddy.indiana.edu
也非常欢迎大家给张老师发邮件介绍自己，或咨询其他相关事宜（请附上简历和/或其他可能会有所帮助的材料）：
[email protected]
学校与所在城市简介
Bloomington分校是印第安纳大学（IU）的旗舰校区，是美国历史最悠久的公立大学之一。公立常春藤，美国大学协会（AAU）成员，Big Ten成员，美国国家R1研究型大学，中国“境外大学学科综合竞争力目录（人文社会科学）”A级院校。学校具有独特的文艺气质，不仅体现在她顶级的人文学科（如享誉世界的Kelly商学院和Jacobs音乐学院），也体现在她风景如画的校园和古建筑（常年被评为美国最漂亮的大学校园之一）。IU也是少数几个拥有可供师生使用的超级计算机（如最新的BigRed 200系统）的大学。百年树人，在她200余年的校史中，多名校友荣获诺贝尔奖（10），普利策奖（23），格莱美奖（66），奥林匹克运动会奖牌（110）等重量级奖项。
对于希望从事博士阶段研究的同学来说，学校在专业方向上的科研实力尤为重要。IUB在计算机安全研究领域的排名稳定在全美前10（CS Rankings），这是因为学校拥有一众优秀的计算机安全研究人员。除了此次招生的张老师，系里还有如Wang Xiaofeng老师，Xing Luyi老师，Liao Xiaojing老师，Huang Yan老师等活跃在科研第一线的知名计算机安全学者。因此在IUB进行博士研究，你将受益于浓厚的计算机安全科研氛围，并有众多的与各位优秀的老师和同学进行深度交流合作的机会。
Bloomington是一个典型的大学城，城中居民很多是IUB的学生，老师及工作人员，普遍热情友好，可以说居住和生活环境总体上是非常安全的。Bloomington是一个比较小的城市，但是生活非常便利，各种超市，餐馆，购物中心，银行等一应俱全，在城中到任何地方基本都只需要不到15分钟的车程，如果你初来乍到没有购车，也有方便的公共交通可以利用。因为中国留学生比较多的缘故，城中也有两家中国超市，以及众多的中餐馆，因此不用担心海外求学生活饮食方面难以适应的问题。
Bloomington属于四季分明的大陆气候，纬度适中，夏季温暖而雨量丰沛，冬季会有降雪。城市素有“鲜花之城”的美誉，风景优美，周边的Monroe Lake也是休闲度假的胜地，很适合在学习科研之余放松心情。Bloomington离印第安纳州首府Indianapolis约一小时的车程，离芝加哥约四小时车程，说实话出行方面当然是没有一些大城市那么便利，但是搭乘国内和国际航班倒也问题不大，同时也避免了大城市的喧嚣。
0条回复