IP属地：纽约州
-
AAM 与 Control Flow Anlaysis中的精度控制0. 总览 这是一篇过度冗长的博客，如果你有心情读，大不必都看，算是对我之前workshop paper的一个背景补充介绍。 什么是CFA 什么...
-
PL 2015 QE ProofPL QE2015 Claim For all expression , state and , and integer . If then...
-
PL 2020-2 QE Prooforiginal question[https://eng-cs.syr.edu/wp-content/uploads/2020/09/CIS-...
-
重返动态规划
如果你搜索动态规划， 那么你能找到的绝大多数资料都会告诉你，动态规划，是一种把问题拆解为子问题，然后再利用子问题之间的关系列出状态转移方程，最后...
-
炼丹安全？一些胡思乱想
下面只是我的思考笔记，所以会非常自由和不严谨，不论是验证还是AI都不是我的研究方向，存在大量谬误 最近由于课程原因，我开始读一些神经网络相关的东...
-
Something I fail to prove ......Pre I had thought I understand how to prove progress in Coq for some ...
-
安全信息流与2-safety性质
Pre 在之前的文章中我简单的介绍了一种描述计算机安全常用的方式: Non-interference模型(GMNI)。 再用一句话来回顾一下什么...
-
当我们谈计算机安全的时候我们在谈什么(noninterference)
Pre 相信大家都学过不少关于计算机安全的课程和知识， 大家多多少少对各种各样的攻击方式有一定的了解。但是当谈及到底什么样的程序可以被认为是安全...
-
Find C++ Thiscall in Binary
Backgrond: calling convention defines what register will be used to pass...