Attribute-based signatures; Groth-Sahai proofs Structure-preserving signatures; Turing machines Nondeterministic Finite Automata;
机译:基于高效的基于属性的无限算术分支程序的签名
机译:标准模型中非单调谓词的基于属性的高效签名
机译:标准模型中具有恒定大小签名的基于属性的签名方案
机译:基于属性的标准假设的无限性语言的签名
机译:暗物质的非标准模型及其实验特征。
机译:抽样假设影响语言学习中间接负证据的使用
机译:基于高效的基于属性的无限算术分支程序的签名