One For All: Formally Verifying Protocols which use Aggregate Signatures

计算机科学 骨料(复合) 计算机安全 复合材料 材料科学
作者
Xenia Hofmeier,Andrea Raguso,Ralf Sasse,Dennis Jackson,David Bain
标识
DOI:10.1109/csf64896.2025.00027
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
爱笑麦丽素完成签到 ,获得积分10
刚刚
sh131完成签到,获得积分10
刚刚
华仔的应助被biggerxiaoshuaui采纳,获得10
1秒前
传奇3的应助被万宁采纳,获得10
2秒前
灌汤包子发布了新的文献求助10
2秒前
欣慰若菱发布了新的文献求助10
2秒前
ssssywwww完成签到,获得积分20
2秒前
3秒前
今中文不吃米饭完成签到,获得积分10
3秒前
3秒前
3秒前
3秒前
小蘑菇的应助被liugm采纳,获得10
4秒前
迅速冬瓜完成签到,获得积分10
5秒前
2213516501完成签到,获得积分10
5秒前
orixero的应助被小小莫采纳,获得10
5秒前
111完成签到 ,获得积分10
5秒前
顾矜的应助被羊二呆采纳,获得10
5秒前
顾矜的应助被Jeff采纳,获得10
6秒前
NexusExplorer的应助被LIgzlilili采纳,获得10
7秒前
故意的电灯胆完成签到,获得积分10
7秒前
故意的若血完成签到,获得积分20
7秒前
tomatoGG发布了新的文献求助10
8秒前
8秒前
科研通AI6.2的应助被福崽采纳,获得10
8秒前
8秒前
9秒前
9秒前
courage发布了新的文献求助10
9秒前
9秒前
初景发布了新的文献求助10
10秒前
gj关注了科研通微信公众号
10秒前
10秒前
10秒前
10秒前
小阿捡子完成签到,获得积分10
11秒前
11秒前
11秒前
12秒前
zzy发布了新的文献求助10
12秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Energie-Contracting 1500
Mathematical models in hydrology 1000
Klimaschutzrecht durch den Energiesektor im Mehrebenensystem – Ein Rechtsvergleich 1000
Oncology Clinical Trials: Successful Design, Conduct, and Analysis, Second Edition 800
Erzählte Gnade 500
Butadiene hydroxytelechelic oligomers PBHT 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 计算机科学 工程类 有机化学 化学工程 生物化学 物理 复合材料 内科学 催化作用 光电子学 人工智能 细胞生物学 无机化学 物理化学 数学
热门帖子
关注 科研通微信公众号,转发送积分 8082792
求助须知:如何正确求助?哪些是违规求助? 9498052
关于积分的说明 21404884
捐赠科研通 7650964
什么是DOI,文献DOI怎么找? 3402021
关于科研通互助平台的介绍 2531084
邀请新用户注册赠送积分活动 2440630