位置：成果数据库 > 会议 > 会议详情页
Statistically Hiding Sets.
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：密码可靠的安全协议形式化分析研究
同会议论文项目
密码可靠的安全协议形式化分析研究
期刊论文 10 会议论文 12
同项目会议论文
Some Improvements on Model Checking CoreASM Models of Security Protocols.
Some Improvements to the Cost-Based Framework for Analyzing Denial of Service Attacks.
On the Invisibility of Designated Confirmer Signatures.
A Short Signature Scheme from the RSA Family
Efficient threshold encryption from lossy trapdoor functions.
Measuring the Effectiveness of DPA Attacks - from the Perspective of Distinguishers' Statistical Cha
Formal Verification of HMQV using ASM-SPV.
Toward Real-life Implementation of Signature Schemes from the Strong RSA Assumption.
A Fault Propagation Pattern Based DFA on Camellia.
Computational soundness about formal encryption in the presence of secret shares and key cycles(simp
ASM-SPV: ?Model?Checker?for?Security?Protocols.