搜索结果: 1-2 共查到“计算机工程 local”相关记录2条 . 查询时间(0.062 秒)
Checking and Inferring Local Non-Aliasing
Restrict confine types type qualifiers alias analysis effect inference flow-sensitivity
2016/5/24
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applicat...
Group Signatures with Verifier-Local Revocation
Verifier-Local Revocation signature verifiers
2015/8/5
Group signatures have recently become important for enabling privacy-preserving attestation in projects such as Microsoft's {\sc ngscb} effort (formerly Palladium). Revocation is critical to the secur...