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

Pierpaolo Degano

IMT School for Advanced Studies Lucca

36H指数
334论文数
4.7K被引数
收录论文 14
发表时间
logo
Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code检测Rust程序中的内存错误，包括不安全的外部代码
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errFranceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo
err分享
err收藏
Specifying and Verifying Information Flow Control in SELinux Configurations
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2024-10-07
err0
errOAAI
errCeragioli, Lorenzo; Galletta, Letterio; Degano, Pierpaolo; Basin, David
err分享
err收藏
Formally verifying security protocols built on watermarking and jamming
errCOMPUTERS & SECURITY
IF5.4
err2023-05-01
err5
errOAAI
errCosta, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
err分享
err收藏
Can my firewall system enforce this policy?
errCOMPUTERS & SECURITY
IF5.4
err2022-06-01
err2
PREAI
errCeragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
err分享
err收藏
Modelling and analysing IoT systems
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2021-11-01
err1
PREAI
errBodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
err分享
err收藏
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2016-06-01
err8
PREAI
errDegano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
err分享
err收藏
Secure service orchestration in open networks开放网络中的安全服务编排
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2011-03-01
err2
PREAI
errCosta, Gabriele; Degano, Pierpaolo; Martinelli, Fabio
err分享
err收藏
Semantics-based design for secure web services
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2008-01-01
err40
PREAI
errBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto
err分享
err收藏
Authentication primitives for secure protocol specifications
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2005-05-01
err3
PREAI
errBodei, C; Degano, P; Focardi, R; Priami, C
err分享
err收藏
Flow logic for Dolev-Yao secrecy in cryptographic processes密码过程中dolev-yao保密的流程逻辑
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2002-05-01
err12
PREAI
errBodei, C; Degano, P; Nielson, F; Nielson, HR
err分享
err收藏
Enhanced operational semantics: A tool for describing and analyzing concurrent systems
errACM COMPUTING SURVEYS
IF28
err2001-06-01
err36
PREAI
errDegano, P; Priami, C
err分享
err收藏
Performance evaluation of mobile processes via abstract machines
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2001-01-01
err14
errOAAI
errNottegar, C; Priami, C; Degano, P
err分享
err收藏
Computing Surveys' Electronic Symposium on the Theory of Computation
errACM COMPUTING SURVEYS
IF28
err1999-09-01
err0
errOAAI
errDegano, P; Gorrieri, R; Marchetti-Spaccamela, A; Wegner, P
err分享
err收藏
Enhanced operational semantics
errACM COMPUTING SURVEYS
IF28
err1996-06-01
err17
errOAAI
errDegano, P; Priami, C
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
D
David Basin
H 指数: 50 · 论文数: 502
F
Fabio Martinelli
H 指数: 41 · 论文数: 577
R
Roberto Gorrieri
H 指数: 38 · 论文数: 248
F
Flemming Nielson
H 指数: 37 · 论文数: 338
P
Peter Wegner
H 指数: 36 · 论文数: 267
查看更多