搜索结果: 1-2 共查到“军事学 Students”相关记录2条 . 查询时间(0.173 秒)
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
cryptographic protocols formal verification
2019/8/30
Contemporary research in symbolic formal verification has led to confirming security guarantees (as well as finding attacks) in secure channel protocols such as TLS and Signal. However, formal verific...
Students and Taxes: a Privacy-Preserving Social Study Using Secure Computation
privacy statistics secure multi-party computation
2015/12/18
We describe the use of secure multi-party computation for
performing a large-scale privacy-preserving statistical study on real government
data. In 2015, statisticians in Estonia conducted a big dat...