发布文献求助
待确认
  • 文献求助详情
标题
Automated formal verification of secure aggregation protocols
网址
https://link.springer.com/content/pdf/10.1007/s10515-026-006...
DOI
10.1007/s10515-026-00670-5 doi
其它 期刊：International Conference on Automated Software Engineering
作者：Yuping Yan; Zi-Cen Zhao; Ming Fei; P. Ligeti; Yaochu Jin
出版日期：2026-08-26
求助人
wdc 在 2026-10-08 21:15:49 发布自北京，悬赏 10 积分
下载
上个求助
下个求助
提交工单
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 50分钟前

    你好 你好 Lv31 上传了文件

    待审核 s10515-026-00670-5.pdf (3.54 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 52分钟前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    21:15:52 未找到该文献，机器人已退出，请等待人工下载
    21:15:50 科研通AI机器人（中国 香港）收到请求，开始寻找文献
    21:15:49 已向机器人发送请求

  • 52分钟前

    wdc wdc Lv1 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
辛勤心锁发布了新的文献求助10
刚刚
1秒前
1秒前
1秒前
1秒前
YAN发布了新的文献求助10
1秒前
3秒前
4秒前
小二郎的应助被916采纳，获得10
4秒前
陶醉的君浩完成签到，获得积分10
5秒前
WJY发布了新的文献求助10
5秒前
格格发布了新的文献求助10
5秒前
冷静的弘文关注了科研通微信公众号
6秒前
木十二发布了新的文献求助10
6秒前
7秒前
Nole的应助被HuanG_sen采纳，获得10
7秒前
所所的应助被小帅桐学采纳，获得10
7秒前
7秒前
7秒前
朴素海亦发布了新的文献求助10
8秒前
8秒前
浮云发布了新的文献求助20
8秒前
迷路的翠容完成签到，获得积分10
8秒前
8秒前
9秒前
9秒前
张阳阳完成签到 ，获得积分10
10秒前
娜比完成签到，获得积分10
11秒前
asdaddad发布了新的文献求助10
11秒前
11秒前
11秒前
12秒前
13秒前
phospho完成签到 ，获得积分10
13秒前
666发布了新的文献求助10
13秒前
13秒前
cjhsci发布了新的文献求助10
13秒前
ccx981166完成签到，获得积分10
14秒前
14秒前
Fish发布了新的文献求助10
15秒前
高分求助中
（应助此贴封号）通过应助OA文献获取积分 10000
Organizational Behavior 510
A Silent Apostrophe:The Fayum Portraits 350
Sing with Understanding: Introduction to Theology in Christian Congregational Song, 3rd ed 330
Auslegung und Untersuchung einer invers ausgelegten Beschaufelung eines einstufigen Axialverdichters mit Vorleitrad (German) 300
AI-Contracting 300
四川大学学位论文.郭瑞昂. 基于高压热扩散的n型磷掺杂金刚石半导体制备研究 300
热门求助领域 （近24小时）
化学 材料科学 医学 生物 计算机科学 工程类 纳米技术 有机化学 化学工程 内科学 物理 生物化学 复合材料 催化作用 细胞生物学 人工智能 心理学 无机化学 基因 遗传学
热门帖子
关注 科研通微信公众号，转发送积分 7839749
求助须知：如何正确求助？哪些是违规求助？ 9361654
关于积分的说明 20621897
捐赠科研通 7434081
什么是DOI，文献DOI怎么找？ 3339376
关于科研通互助平台的介绍 2483778
邀请新用户注册赠送积分活动 2360992
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 帮助中心 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通