火焰

BitBlaze:用于计算机安全的二进制分析:二进制分析对于保护COTS(通用现成的)程序、分析和防御大量恶意代码(源代码不可用,甚至二进制代码可能被混淆)是必不可少的。另外,二进制分析提供了程序行为的基本事实,因为计算机执行二进制文件(可执行文件),而不是源代码。然而,由于缺乏更高层次的语义,二进制分析具有挑战性。许多高级技术通常不足以分析良性二进制文件,更不用说潜在的恶意二进制文件了。因此,我们需要开发在二进制级别工作的工具和技术,可以用来分析COTS软件以及恶意二进制文件。BitBlaze项目旨在设计和开发一个强大的二进制分析平台,并利用该平台来(1)分析和开发新的COTS保护和诊断机制,(2)分析、理解和开发针对恶意代码的防御措施。BitBlaze项目还致力于开辟二进制分析的新应用领域,为软件安全和恶意代码防御之外的应用程序提供可靠有效的解决方案,如协议逆向工程和指纹生成。BitBlaze项目包括两个中心研究方向:(1)底层BitBlaze二进制分析平台的设计与开发;(2)将BitBlaze二进制分析平台应用于实际的安全问题。这两个研究热点相互推动:随着新的安全问题的出现,我们开发了新的分析技术。同样,为了更好或更有效地解决已知问题,我们开发了新的分析技术。下面,我们将对这两个研究方向进行概述。


zbMATH中的参考文献(参考文献11条)

显示结果1到11,共11个。
按年份排序(引用)

  1. 程晓阳;林,燕;高,德宾;贾春福:DynOpVm:基于虚拟机的软件模糊处理与动态操作码映射(2019)
  2. 哥德弗洛德,帕特里斯;Sen,Koushik:结合模型检查和测试(2018)
  3. 谭刚;Morrisett,Greg:机器码解码和编码的双向语法(2018)
  4. 傅翔:用切片技术检测环境敏感性(2016)
  5. 帕达利安,V。;盖特曼,A。;索洛维耶夫,M。;巴库林,M。;博兹洛夫,A。;考山,V。;莱多夫斯基,I。;马金,余。;Panasenko,S.:支持组合二进制代码分析的方法和软件工具(2014)ioport公司
  6. 布劳尔,约格;国王,安迪;Kowalewski,Stefan:微控制器代码的抽象解释:间隔满足一致性(2013)
  7. 邓、易;张扬;程、梁;孙晓山:windows二进制中静态整数溢出漏洞检测(2013)ioport公司
  8. 明、江;潘,萌;Gao,Debin:iBinHunt:具有过程间控制流的二进制搜索(2013)ioport公司
  9. 金德,约翰尼斯;Kravchenko,Dmitry:交替控制流重建(2012)
  10. 张若愚;黄世秋;郑玮、郑伟;关海兵:软件漏洞发现的静态程序分析辅助动态污点跟踪(2012)ioport公司
  11. 歌,黎明;布鲁姆利,大卫;阴、横;卡巴莱罗,胡安;贾格,伊万;康民庆;梁振凯;纽索姆,詹姆斯;Poosankam,Pongsin;Saxena,Prateek:BitBlaze:通过二进制分析实现计算机安全的新方法(2008)ioport公司


更多出版物请访问:http://bitblaze.cs.berkeley.edu/bitblaze-pub.html