小牛伍
人员信息
附属: 美国匹兹堡卡内基梅隆大学
SPARQL查询
优化列表
2020年–今天
2021 [j5] 瓦伦丁·J·M·马内斯 , 韩贤硕 , Choongwoo Han(韩崇宇) , 桑基尔查 , 曼努埃尔·埃格尔 , 爱德华·施瓦茨 , 小牛伍 :
模糊数学的艺术、科学和工程:综述。 IEEE传输。 软件工程。 47 ( 11 ) : 2312-2331 ( 2021 ) 2020 【j4】 中岛明子 , 渡边拓哉 , Shioji英太郎 , 秋山三崎 , 小牛伍 :
1天,2个国家-日本和美国消费者物联网设备漏洞披露和补丁发布研究。 IEICE传输。 信息系统。 103天 ( 7 ) : 1524-1540 ( 2020 ) [i2] 李开元 , 小牛伍 , 贾丽敏 :
拆卸基本事实的生成和拆卸人员的评估。 CoRR公司 abs/2012.09155 ( 2020 )
2010 – 2019
2019 [第16条] 中岛明子 , 渡边拓哉 , Eitaro Shioji先生 , 秋山三崎 , 小牛伍 :
日本和美国的消费者物联网设备漏洞披露和补丁发布试点研究。 亚洲CCS 2019 : 485-492 [第15条] 维吉尔·D·格里戈 , 单梁小牛吴 :
无条件建立软件信任根。 NDSS公司 2019 2018 [第14条] 维吉尔·D·格里戈 , 小牛伍 :
建立信任之根的要求。 安全协议研讨会 2018 : 192-202 [i1] 瓦伦丁·J·M·马内斯 , 韩贤硕 , 韩宗宇(Choongwoo Han) , 桑基尔查 , 曼努埃尔·埃格尔 , 爱德华·施瓦茨 , 小牛伍 :
模糊:艺术、科学和工程。 CoRR公司 abs/1812.00140 ( 2018 ) 2017 [第13条] 安德鲁·雷诺兹 , 小牛伍 , 克拉克·W·巴雷特 , 大卫·布伦利 , 梁天一 , 塞萨尔·蒂内利 :
使用上下文相关简化扩展DPLL(T)字符串解算器。 CAV(2) 2017 : 453-474 2016 [第12条] 大明·D·陈 , 小牛伍 , 大卫·布伦利 , 曼努埃尔·埃格尔 :
基于Linux的嵌入式固件的自动动态分析。 NDSS公司 2016 2015 [j3] 伊尔克·纳迪·博兹科特 , 海黄 , 布鲁斯·M·麦格斯 , 安德烈亚·里查 , 小牛伍 :
相互嵌入。 J.互连。 网络 15 ( 1-2 ) : 1550001:1-1550001:27 ( 2015 ) [第11条] 桑基尔查 , 小牛伍 , 大卫·布伦利 :
程序自适应突变模糊。 IEEE安全与隐私研讨会 2015 : 725-741 2014 [注2] 塔纳西斯·阿夫吉里诺斯 , 桑基尔查 , 亚历山大·雷伯特 , 爱德华·施瓦茨 , 小牛伍 , 大卫·布伦利 :
自动利用漏洞生成。 Commun公司。 ACM公司 57 ( 2 ) : 74-84 ( 2014 ) [第10条] 曼努埃尔·埃格尔 , 小牛伍 , 皮特·查普曼 , 大卫·布伦利 :
一揽子执行:程序二进制文件和组件的动态相似性测试。 USENIX安全研讨会 2014 : 303-317 【c9】 Tiffany Bao公司 , 乔纳森·伯克 , 小牛伍 , 拉斐尔·特纳 , 大卫·布伦利 :
BYTEWEIGHT:学习识别二进制代码中的函数。 USENIX安全研讨会 2014 : 845-860 2013 【c8】 小牛伍 , 桑基尔查 , 萨曼莎·戈特利布 , 大卫·布伦利 :
调度黑盒变异模糊。 CCS系统 2013 : 511-522 【c7】 张继勇(Jiyong Jang) , 小牛伍 , 大卫·布伦利 :
走向自动软件谱系推断。 USENIX安全研讨会 2013 : 81-96 【c6】 大卫·布伦利 , JongHyup Lee公司 , 爱德华·施瓦茨 , 小牛伍 :
使用语义保持结构分析和迭代控制流结构的本地x86反编译。 USENIX安全研讨会 2013 : 353-368 2012 [j1] 张继勇(Jiyong Jang) , 小牛伍 , 大卫·布伦利 :
ReDeBug:在整个OS发行版中查找未修补的代码克隆。 登录Usenix Mag。 37 ( 6 ) ( 2012 )
2000 – 2009
2008 [c5] 乔纳森·德里贝里 , 唐·希伊 , 小牛伍 , 丹尼·多米尼克·斯莱特 :
在找到近似最近邻居的同时实现空间适应性。 中建集团 2008 2006 【c4】 弗吉尼亚州瓦西列夫斯卡 , 瑞恩·威廉姆斯 , 单梁小牛吴 :
使用混合方法应对困难。 SODA公司 2006 : 1-10 2005 【c3】 布鲁斯·马格斯 , 加里·米勒 , 奥哈斯·帕雷克 , R.拉维 , 单梁小牛吴 :
寻找有效的无支持预条件。 西班牙 2005 : 176-185 2004 【c2】 Umut A.Acar公司 , 盖伊·E·布莱洛 , 罗伯·哈波 , 豪尔赫·维特斯 , 单梁小牛吴 :
动态化静态算法,应用于动态树和历史独立性。 SODA公司 2004 : 531-540 2003 【c1】 盖伊·E·布莱洛 , 布鲁斯·M·麦格斯 , 单梁小牛吴 :
在度平衡搜索树上进行空间高效的手指搜索。 SODA公司 2003 : 374-383