网站首页
编程语言
数据库
系统相关
其他分享
编程问答
Verifiable
2024-09-15
FVFL: A Flexible and Verifiable Privacy-Preserving Federated Learning Scheme--FVFL:一种灵活可验证的隐私保护联邦学习
FVFL:AFlexibleandVerifiablePrivacy-PreservingFederatedLearningScheme--FVFL:一种灵活且可验证的隐私保护联邦学习方案来源导读AbstractIntroductionProblemStatementA.ProblemDefinitionB.ThreatModelandGoalsPreliminariesA.FederatedLearning(
2024-01-16
Paper Reading: SoK: Data Sovereignty
Abstract去中⼼化⾝份去中⼼化访问控制符合政策的去中⼼化计算((i)decentralizedidentity,(ii)decentralizedaccesscontrol(iii)policy-compliantdecentralizedcomputation)1.Intro虽然去中⼼化⾝份允许⽤⼾通过了解密钥来披露敏感信息,但能够控制数据访问和处理⽅
2023-10-19
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting
Abstract—Theultimategoalinmodernsecuree-votingistoenableeveryonetoverifywhetherthefinalelectionresultcorrectlyreflectsthevoteschosenbythe(human)voters,withoutexposinghoweachindividualvoted.Thesefundamentalsecurityproper
2023-10-14
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting
Todate,thesecurityofallpracticalend-to-endveri-fiablee-votingprotocolsrelieson“traditional”hardnessassumptions,suchasfactoringintegersorcomputingdiscretelogarithms.Withmoreandmorepowerfulquantumcomputersonthehorizon(see,