博士生导师 硕士生导师 学位：博士学位 性别：女 毕业院校：中国科学院软件研究所 学历：研究生毕业 在职信息：在职 所在单位：计算机学院（国家示范性软件学院） 电子邮箱：76be96a9e8778c3d29f38594dc10da5cbd99a314521edd76b8d2791b51cecbac31be1ac1989bbab80c3c3c10ed1337ac4b420b55198128d1e7e2d68d57c664bb7becc8034c35836b11d072745068454dd7d2d3db3cc200e55e9a06bfca12cf3446f950f910db4c3d38c3279cc8a0f1fffa6deee904a21737f6af1405111e4898
论文名称：LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution 发表刊物：In Proceeding of the 31st USENIX Security Symposium(USENIX Security) 论文类型：论文集 学科门类：工学 一级学科：计算机科学与技术* 是否译文：否 发表时间：2022-03-07 发表时间：2022-03-07
上一条：Feedback-Driven Incremental Symbolic Execution
下一条：Summary-guided incremental symbolic execution
