搜索结果: 1-4 共查到“Executions”相关记录4条 . 查询时间(0.031 秒)
Many computer scientists think of a program as either correct (i.e. it meets some specification) or incorrect (i.e. it does not meet some specification). But industrial software development is as much...
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...
New abstractions in applied pi-calculus and automated verification of protected executions
trusted computing platform integrity
2014/3/6
Protocols for the protected execution of programs, like those based on a hardware root of trust, will become of fundamental importance for computer security. In parallel to such protocols, there is th...
SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
succinct arguments zero-knowledge
2014/3/10
An argument system for NP is a proof system that allows efficient verification of NP statements, given proofs produced by an untrusted yet computationally-bounded prover. Such a system is non-interact...