偶然间发现Chrome 会自己重启，然后切换默认的search引擎从google变为search Library。在chrome中删除了这个item，但是又出现一次，意识到chrome已经被劫持。0x...

阅读全文 »

This paper providing a comprehensive systematization of such vulnerabilities basing on a slice of th...

阅读全文 »

软件漏洞的挖掘。1，静态分析方法，挖掘源代码中的有用信息2，借助深度学习等技术辅助漏洞挖掘DARPA CGC大晒，自动化攻防。1，传统分类中，静态和动态挖掘漏洞的技术：静态漏洞挖掘是在不运行目标程序...

阅读全文 »

循环是一个多路径间不断迭代的结构，对循环进行分类以寻找可以解决的方案。对循环的终止性分析，是寻找秩函数 ranking function，来判断循环的终止性，这个函数的寻找和验证很复杂，需要很多时间。...

阅读全文 »

失去对未来的思考，就丧失对未来的掌控。在美国有些激进的研究者会说，每次大的破坏或者战争之后，经济会来一个大繁荣。2020年是个记录在历史中最不平凡的一年，给所有的人带来了非常多的困难。想分析一下这一波...

阅读全文 »

Particle swarm optimization...

阅读全文 »

文法，语法，是语言能够完成沟通的标记原则。也就是用固定的形式form来表达固定的语义meaning中文的，猫追狗日文的，猫狗追动词要放最后边。英文的十大特点：1.英文句子什么都不能省中文可以省略吃饭没...

阅读全文 »

This paper was published by ETH and all copyrights are owned by the original author.Securify, first,...

阅读全文 »