voting; homomorphic threshold encryption; universal composability;
机译:通用可组合性框架中对分散式电子投票协议的严格安全性分析
机译:通用可组合性框架中的乐观公平交换协议及其安全性
机译:SecIVo:互联网投票计划的定量安全评估框架
机译:评估普遍可编程框架中投票方案的安全性
机译:可组合安全性功能的框架:保持安全性关注点从模型到代码的分离
机译:安全增强的加密方案和其加密安全性的评估
机译:评估通用可组合框架中投票方案的安全性