科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Maxim Jourenko
institute of science tokyo
4
H指数
16
论文数
85
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
在通用组合框架中使用马尔可夫决策过程自动验证证明
CRYPTOLOGY AND NETWORK SECURITY, CANS 2025
IF
0
2026-01-01
0
PRE
AI
Jourenko, Maxim; Voelker, Marcus
分享
收藏
Environmental Adaptive Privacy Preserving Contact Tracing System: A Construction From Public Key Rerandomizable BLS Signatures
环境自适应隐私保护联系人追踪系统: 基于公钥可重新andomizable BLS签名的构造
IEEE ACCESS
IF
3.6
2022-01-01
4
OA
AI
Wang, Pengfei; Su, Xiangyu; Jourenko, Maxim; Jiang, Zixian; Larangeira, Mario; Tanaka, Keisuke
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
K
Keisuke Tanaka
H 指数: 24 · 论文数: 312
M
Mario Larangeira
H 指数: 7 · 论文数: 44
M
Marcus Völker
H 指数: 5 · 论文数: 34
X
Xiangyu Su
H 指数: 3 · 论文数: 16
Z
Zixian Jiang
H 指数: 2 · 论文数: 5
查看更多