IP屬地：紐約州
-
AAM 與 Control Flow Anlaysis中的精度控制0. 總覽 這是一篇過度冗長(zhǎng)的博客，如果你有心情讀，大不必都看晶衷，算是對(duì)我之前workshop paper的一個(gè)背景補(bǔ)充介紹奖唯。 什么是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-...
-
重返動(dòng)態(tài)規(guī)劃
如果你搜索動(dòng)態(tài)規(guī)劃斜筐， 那么你能找到的絕大多數(shù)資料都會(huì)告訴你必搞，動(dòng)態(tài)規(guī)劃端礼，是一種把問題拆解為子問題偎快，然后再利用子問題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程冯乘，最后...
-
煉丹安全？一些胡思亂想
下面只是我的思考筆記晒夹，所以會(huì)非常自由和不嚴(yán)謹(jǐn)裆馒，不論是驗(yàn)證還是AI都不是我的研究方向，存在大量謬誤 最近由于課程原因丐怯，我開始讀一些神經(jīng)網(wǎng)絡(luò)相關(guān)的東...
-
Something I fail to prove ......Pre I had thought I understand how to prove progress in Coq for some ...
-
安全信息流與2-safety性質(zhì)
Pre 在之前的文章中我簡(jiǎn)單的介紹了一種描述計(jì)算機(jī)安全常用的方式: Non-interference模型(GMNI)喷好。 再用一句話來回顧一下什么...
-
當(dāng)我們談?dòng)?jì)算機(jī)安全的時(shí)候我們?cè)谡勈裁?noninterference)
Pre 相信大家都學(xué)過不少關(guān)于計(jì)算機(jī)安全的課程和知識(shí)， 大家多多少少對(duì)各種各樣的攻擊方式有一定的了解读跷。但是當(dāng)談及到底什么樣的程序可以被認(rèn)為是安全...
-
Find C++ Thiscall in Binary
Backgrond: calling convention defines what register will be used to pass...