Secure voting; CSP; Coercion-resistance; Receipt-freeness;
机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:收据自由与强制抵抗的批判性评论
机译:强制抗力和收货自由度建模的正式框架
机译:强制,抵抗和自由贸易:美国301节贸易政策的两阶段博弈。
机译:在正式语言理论框架下分析动物歌曲的困难:与基于度量的模型评估的比较
机译:建立强制抵抗和收据自由度的形式框架