学术相关,每月Check!
Academic Conferences
Mainly focus on Security, System & PL.
Security
Top Tier
Great Ones
System
PL
Others
Researcher/Lab
Security
- Dave Tian Purdue
- Yanick Fratantonio: 离开了学术界的大佬
- Deian Stefan UCSD 做PL+Security 主营WASM & Verification
- TEECert
- Bryan Parno
- Sanjit A. Seshia
- Haobin
- BINSEC Open source binary security to from academia
Verification
PL
Engineer
- Huang Xuan 很牛逼的工程师
- 王垠
- 最近才发现王垠大佬也在IU念过书
- 虽然并非很认同他的一些观点,但是感觉从哲学的层面上他的思维和我很像:)
- Hongliang Tian 真·全栈。可以作为偶像了
- 刘未鹏 看到这篇文章感觉学到的很多东西突然串了起来,神奇
留下评论