天问讨论班
遂古之初,谁传道之?
上下未形,何由考之?
冥昭瞢暗,谁能极之?
冯翼惟象,何以识之?
– 《楚辞·天问》
这里是中国科学院信息工程研究所RD6-G1 VA (Vulnerability Analysis)小组的讨论班博客站点。本讨论班旨在组内学习、交流和分享国际先进的漏洞挖掘与分析方面的研究成果,重点关注信息安全、软件工程、程序设计语言、系统架构、人工智能、计算机网络、程序验证等领域的国际顶会成果,以及分享在国际顶级黑客会议上的成果。具体包括但不限于:
- 信息安全:S&P (🔻2019, 📗2018, 🔹…)、UsenixSecurity (🔻2019, 📗2018, 🔹…)、CCS (📗2018, 📗2017, 🔹…)、NDSS (📗2019, 📗2018, 🔹…)
- 软件工程:ICSE (🔻2019, 📗2018, 🔹…)、ESEC/FSE (🔻2019, 📗2018, 🔹…)、ASE (🔻2019, 📗2018, 🔹…)、ISSTA (🔻2019, 📗2018, 🔹…)
- 设计语言: PLDI (🔻2019, 📗2018, 🔹…)、POPL (🔻2019, 📗2018, 🔹…)
- 系统架构: OSDI (📗2018, 📗2016, 🔹…)、SOSP (🔻2019, 📗2017, 🔹…)
- 人工智能: IJCAI (📗2018, 📗2017, 🔹…)、ICLR (📗2018, 📗2017, 🔹…)、AAAI (🔹…)、CVPR (🔹…)
- 黑客顶会:BlackHat (USA 🔻2019📗2018, EUR 📗2018, Asia 📗2018)、Defcon 📗2018、CanSecWest 📗2018
- 其他:CCF推荐会议/期刊列表