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

Sebastian Mödersheim

Technical University of Denmark

21H指数
94论文数
3.4K被引数
收录论文 5
发表时间
logo
A decision procedure and typing result for alpha-beta privacyα-β隐私的判定过程与类型化结果
errJournal of Computer Security
IF1.3
err2026-01-01
err0
PREAI
errFernet, Laouen; Modersheim, Sebastian; Vigano, Luca
err分享
err收藏
Stateful Protocol Composition in Isabelle/HOL
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2023-04-14
err2
errOAAI
errHess, Andreas V.; Modersheim, Sebastian A.; Brucker, Achim D.
err分享
err收藏
rTLS: Secure and Efficient TLS Session Resumption for the Internet of ThingsrTLS: 安全高效的物联网TLS会话恢复
errSENSORS
IF3.5
err2021-09-29
err2
errOAAI
errTange, Koen; Modersheim, Sebastian; Lalos, Apostolos; Fafoutis, Xenofon; Dragoni, Nicola
err分享
err收藏
Alpha-Beta Privacy
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2019-01-22
err7
errOAAI
errModersheim, Sebastian; Vigano, Luca
err分享
err收藏
Security protocol specification and verification with AnBx
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2016-10-01
err10
errOAAI
errBugliesi, Michele; Calzavara, Stefano; Modersheim, Sebastian; Modesti, Paolo
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nicola Dragoni
H 指数: 31 · 论文数: 206
X
Xenofon Fafoutis
H 指数: 27 · 论文数: 162
M
Michele Bugliesi
H 指数: 24 · 论文数: 141
A
Achim D. Brucker
H 指数: 23 · 论文数: 215
S
Stefano Calzavara
H 指数: 19 · 论文数: 94
查看更多