IP屬地：紐約州
-
Conjunctive Query未聞摘要 合取查詢(xún)（Conjunctive Query, CQ）是OLAP數(shù)據(jù)庫(kù)中的常見(jiàn)操作。本文探討了傳統(tǒng)的聯(lián)結(jié)查詢(xún)處理方法，首先我會(huì)從傳統(tǒng)二元聯(lián)...
-
AAM 與 Control Flow Anlaysis中的精度控制0. 總覽 這是一篇過(guò)度冗長(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ī)劃，是一種把問(wèn)題拆解為子問(wèn)題，然后再利用子問(wèn)題之間的關(guān)系列出狀態(tài)轉(zhuǎn)移方程，最后...
-
煉丹安全？一些胡思亂想
下面只是我的思考筆記，所以會(huì)非常自由和不嚴(yán)謹(jǐn)，不論是驗(yàn)證還是AI都不是我的研究方向，存在大量謬誤 最近由于課程原因，我開(kāi)始讀一些神經(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)。 再用一句話來(lái)回顧一下什么...
-
當(dāng)我們談?dòng)?jì)算機(jī)安全的時(shí)候我們?cè)谡勈裁?noninterference)
Pre 相信大家都學(xué)過(guò)不少關(guān)于計(jì)算機(jī)安全的課程和知識(shí)， 大家多多少少對(duì)各種各樣的攻擊方式有一定的了解。但是當(dāng)談及到底什么樣的程序可以被認(rèn)為是安全...