logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jannik Dreier

Inria

17H指数
82论文数
1.1K被引数
收录论文 2
发表时间
logo
Secure and verifiable coercion-resistant electronic exam安全且可验证的防胁迫电子考试
errJournal of Cybersecurity
IF3.2
err2026-08-27
err0
errOAAI
errMohammadamin Rakeei; Rosario Giustolisi; Gabriele Lenzini; Dhekra Mahmoud; Jannik Dreier; Pascal Lafourcade
err分享
err收藏
Formally and practically verifying flow properties in industrial systems
errCOMPUTERS & SECURITY
IF5.4
err2019-09-01
err5
errOAAI
errDreier, Jannik; Puys, Maxime; Potet, Marie-Laure; Lafourcade, Pascal; Roch, Jean-Louis
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
P
Pascal Lafourcade
H 指数: 26 · 论文数: 344
M
Marie-Laure Potet
H 指数: 16 · 论文数: 82
J
Jean-Louis Roch
H 指数: 13 · 论文数: 171
M
Maxime Puys
H 指数: 8 · 论文数: 42
G
Gabriele Lenzini
H 指数: 0 · 论文数: 14
查看更多