提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/uss/MachinySCSKV17AU-机械，Aravind非洲联盟-乍得斯宾斯基澳大利亚-科琳娜，杰克澳大利亚-史蒂芬斯，尼克AU-克里斯托弗·克鲁格尔AU-维格纳，乔瓦尼TI-DR.CHECKER：Linux内核驱动程序的可靠分析。2017年8月16日至18日，加拿大不列颠哥伦比亚省温哥华市，英国电信第26届USENIX安全研讨会，2017年USENIX安全。SP-1007型EP-10242017年上半年//UR-（欧元）https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/machiry急诊室-