天问讨论班

  遂古之初,谁传道之?
  上下未形,何由考之?
  冥昭瞢暗,谁能极之?
  冯翼惟象,何以识之?
                  – 《楚辞·天问》

这里是中国科学院信息工程研究所RD6-G1 VA (Vulnerability Analysis)小组的讨论班博客站点。本讨论班旨在组内学习、交流和分享国际先进的漏洞挖掘与分析方面的研究成果,重点关注信息安全、软件工程、程序设计语言、系统架构、人工智能、计算机网络、程序验证等领域的国际顶会成果,以及分享在国际顶级黑客会议上的成果。具体包括但不限于:

  1. 信息安全:S&P (🔻2019, 📗2018, 🔹)、UsenixSecurity (🔻2019, 📗2018, 🔹)、CCS (📗2018, 📗2017, 🔹)、NDSS (📗2019, 📗2018, 🔹)
  2. 软件工程:ICSE (🔻2019, 📗2018, 🔹)、ESEC/FSE (🔻2019, 📗2018, 🔹)、ASE (🔻2019, 📗2018, 🔹)、ISSTA (🔻2019, 📗2018, 🔹)
  3. 设计语言: PLDI (🔻2019, 📗2018, 🔹)、POPL (🔻2019, 📗2018, 🔹)
  4. 系统架构: OSDI (📗2018, 📗2016, 🔹)、SOSP (🔻2019, 📗2017, 🔹)
  5. 人工智能: IJCAI (📗2018, 📗2017, 🔹)、ICLR (📗2018, 📗2017, 🔹)、AAAI (🔹)、CVPR (🔹)
  6. 黑客顶会:BlackHat (USA 🔻2019📗2018, EUR 📗2018, Asia 📗2018)、Defcon 📗2018、CanSecWest 📗2018
  7. 其他:CCF推荐会议/期刊列表